//
// resources.rs
// Author: noonchen - chennoon233@foxmail.com
// Created Date: December 2nd 2022
// -----
// Last Modified: Fri Dec 02 2022
// Modified By: noonchen
// -----
// Copyright (c) 2022 noonchen
//

pub static ABOUT: &[u8] = &[
    120, 156, 181, 86, 105, 111, 219, 70, 16, 253, 43, 91, 6, 5, 18, 128, 92, 238, 204, 222, 242,
    17, 32, 71, 131, 2, 105, 19, 32, 118, 139, 246, 75, 161, 82, 148, 205, 70, 22, 5, 138, 190,
    254, 125, 223, 172, 237, 182, 6, 220, 166, 95, 2, 3, 146, 151, 156, 243, 189, 55, 179, 58, 124,
    121, 115, 177, 81, 87, 253, 180, 31, 198, 237, 81, 69, 218, 84, 170, 223, 118, 227, 106, 216,
    158, 29, 85, 167, 39, 223, 53, 169, 82, 251, 121, 185, 93, 45, 55, 227, 182, 63, 170, 182, 99,
    245, 242, 248, 240, 155, 55, 31, 94, 159, 252, 242, 241, 173, 218, 95, 157, 169, 143, 167, 175,
    222, 127, 255, 90, 85, 77, 219, 254, 108, 95, 183, 237, 155, 147, 55, 234, 211, 79, 239, 20,
    105, 106, 219, 183, 63, 86, 170, 58, 159, 231, 221, 162, 109, 175, 175, 175, 245, 181, 213,
    227, 116, 214, 190, 155, 150, 187, 243, 161, 219, 183, 48, 108, 197, 16, 78, 45, 130, 17, 233,
    213, 188, 170, 142, 15, 37, 240, 245, 176, 154, 207, 81, 148, 49, 223, 86, 234, 188, 31, 206,
    206, 231, 135, 211, 213, 208, 95, 191, 26, 111, 142, 42, 163, 140, 226, 236, 20, 59, 91, 253,
    179, 15, 170, 20, 58, 219, 238, 143, 158, 72, 206, 198, 24, 73, 118, 111, 178, 184, 217, 12,
    219, 207, 79, 25, 82, 206, 185, 45, 111, 139, 233, 98, 191, 91, 118, 192, 96, 55, 245, 251,
    126, 186, 234, 31, 252, 113, 24, 214, 143, 252, 203, 19, 221, 141, 23, 173, 160, 119, 187, 129,
    211, 122, 216, 108, 154, 233, 114, 211, 47, 250, 171, 126, 59, 174, 86, 7, 221, 102, 216, 61,
    126, 178, 159, 167, 241, 115, 223, 32, 97, 255, 199, 56, 108, 23, 211, 120, 185, 253, 235, 233,
    197, 48, 247, 211, 102, 192, 215, 130, 15, 128, 208, 110, 57, 159, 171, 213, 81, 245, 3, 145,
    213, 198, 83, 77, 209, 105, 202, 190, 243, 218, 165, 186, 137, 58, 89, 86, 228, 116, 226, 88,
    55, 108, 117, 78, 81, 113, 210, 198, 213, 141, 75, 218, 133, 208, 177, 246, 198, 227, 4, 111,
    175, 224, 235, 185, 110, 64, 128, 37, 86, 73, 19, 188, 72, 7, 147, 59, 130, 49, 213, 78, 179,
    15, 138, 181, 179, 190, 70, 236, 228, 148, 133, 165, 175, 197, 129, 99, 23, 53, 165, 80, 75,
    252, 28, 21, 158, 25, 152, 57, 188, 10, 78, 106, 136, 54, 213, 46, 235, 152, 66, 23, 116, 182,
    92, 147, 215, 49, 4, 164, 201, 49, 213, 108, 180, 119, 65, 161, 141, 224, 109, 205, 17, 49,
    168, 179, 218, 39, 174, 189, 54, 20, 84, 64, 38, 170, 45, 82, 144, 130, 39, 27, 244, 231, 181,
    39, 7, 43, 91, 55, 86, 51, 195, 157, 53, 81, 70, 209, 240, 36, 216, 69, 20, 12, 59, 4, 39, 138,
    0, 133, 208, 120, 64, 67, 81, 44, 83, 34, 88, 102, 109, 76, 82, 204, 218, 74, 235, 22, 249, 67,
    39, 241, 67, 42, 136, 5, 182, 202, 2, 3, 129, 211, 227, 59, 68, 101, 61, 108, 129, 153, 207,
    58, 68, 22, 104, 12, 2, 177, 102, 128, 75, 58, 101, 9, 131, 242, 129, 83, 100, 18, 104, 209,
    81, 103, 116, 148, 16, 164, 99, 86, 146, 146, 229, 69, 140, 128, 60, 6, 87, 223, 217, 52, 200,
    155, 25, 8, 194, 32, 101, 213, 56, 52, 133, 138, 65, 41, 106, 83, 141, 71, 85, 236, 234, 140,
    28, 72, 219, 160, 3, 35, 132, 163, 83, 216, 162, 227, 152, 113, 204, 58, 99, 18, 26, 244, 147,
    193, 5, 42, 183, 57, 117, 141, 80, 102, 1, 158, 0, 41, 92, 155, 128, 148, 46, 123, 5, 137, 8,
    146, 17, 25, 92, 135, 131, 143, 182, 14, 40, 137, 84, 3, 94, 2, 176, 103, 47, 209, 241, 157,
    156, 52, 153, 124, 150, 112, 20, 88, 78, 49, 34, 68, 208, 201, 225, 148, 32, 182, 164, 154,
    140, 24, 162, 33, 176, 102, 81, 165, 213, 201, 100, 121, 25, 156, 147, 152, 70, 212, 134, 42,
    49, 86, 170, 8, 45, 225, 140, 134, 75, 153, 200, 226, 168, 248, 38, 232, 15, 161, 156, 133,
    175, 5, 123, 210, 19, 25, 109, 45, 138, 176, 172, 67, 206, 18, 218, 64, 123, 176, 50, 160, 26,
    93, 89, 200, 8, 197, 24, 138, 165, 166, 36, 85, 0, 72, 91, 218, 207, 17, 29, 103, 166, 18, 134,
    1, 134, 8, 206, 88, 28, 209, 167, 119, 53, 72, 77, 54, 110, 76, 193, 70, 62, 1, 7, 6, 32, 132,
    90, 38, 11, 210, 18, 188, 163, 0, 158, 4, 36, 32, 140, 132, 217, 9, 194, 20, 169, 147, 86, 2,
    152, 135, 145, 135, 248, 27, 14, 154, 145, 18, 141, 70, 76, 76, 99, 1, 142, 177, 197, 183, 240,
    12, 118, 72, 26, 69, 191, 254, 142, 44, 17, 4, 138, 38, 57, 230, 59, 17, 17, 136, 192, 232,
    201, 227, 210, 102, 18, 190, 144, 135, 192, 75, 145, 102, 74, 133, 119, 19, 69, 101, 128, 50,
    194, 24, 2, 19, 24, 32, 11, 148, 131, 215, 119, 0, 219, 160, 157, 199, 20, 106, 35, 188, 121,
    20, 151, 50, 70, 63, 72, 86, 70, 229, 156, 49, 95, 160, 15, 113, 128, 78, 240, 50, 30, 65, 118,
    6, 52, 151, 81, 131, 151, 37, 80, 136, 17, 26, 241, 82, 102, 177, 193, 148, 50, 16, 149, 233,
    18, 218, 172, 204, 56, 119, 146, 217, 203, 238, 241, 101, 80, 203, 1, 152, 11, 14, 192, 172,
    140, 39, 80, 177, 177, 19, 165, 164, 26, 253, 224, 141, 76, 42, 230, 3, 136, 99, 54, 209, 91,
    194, 234, 1, 90, 17, 236, 201, 44, 69, 40, 212, 145, 21, 94, 161, 31, 172, 15, 199, 34, 221,
    156, 161, 105, 176, 216, 129, 125, 146, 165, 6, 43, 227, 68, 56, 92, 246, 24, 4, 147, 168, 168,
    183, 44, 64, 193, 78, 224, 71, 105, 14, 198, 6, 26, 73, 133, 215, 228, 100, 4, 77, 145, 36, 40,
    194, 212, 62, 152, 202, 138, 202, 72, 46, 219, 81, 176, 150, 70, 89, 166, 5, 28, 131, 31, 135,
    25, 115, 162, 150, 36, 114, 116, 86, 248, 7, 122, 112, 75, 41, 214, 44, 121, 173, 20, 106, 45,
    86, 87, 150, 73, 21, 134, 178, 72, 1, 48, 5, 52, 129, 181, 1, 77, 91, 89, 95, 40, 220, 136, 68,
    107, 135, 21, 133, 45, 41, 155, 211, 138, 252, 28, 12, 177, 208, 177, 115, 32, 125, 66, 68, 52,
    150, 168, 68, 100, 231, 100, 215, 35, 4, 150, 47, 179, 108, 93, 108, 12, 124, 122, 89, 147, 9,
    60, 75, 73, 156, 124, 151, 100, 104, 160, 236, 132, 210, 33, 184, 152, 133, 93, 44, 176, 44,
    235, 13, 171, 171, 44, 77, 227, 19, 12, 93, 22, 36, 33, 167, 178, 142, 203, 28, 225, 21, 134,
    27, 196, 88, 43, 55, 73, 0, 234, 92, 134, 197, 149, 97, 177, 191, 62, 186, 227, 22, 151, 211,
    230, 249, 179, 223, 222, 227, 14, 91, 78, 244, 226, 254, 246, 122, 244, 148, 31, 158, 54, 229,
    134, 95, 200, 198, 79, 187, 155, 131, 170, 61, 62, 92, 245, 235, 253, 241, 225, 166, 216, 225,
    71, 194, 106, 232, 183, 179, 26, 112, 205, 61, 68, 196, 165, 75, 184, 246, 43, 117, 123, 247,
    117, 195, 184, 238, 113, 226, 114, 58, 187, 119, 57, 221, 14, 51, 238, 254, 75, 92, 196, 159,
    228, 210, 254, 176, 61, 221, 247, 127, 191, 62, 153, 150, 219, 253, 122, 156, 46, 142, 170,
    139, 229, 60, 13, 55, 207, 115, 153, 210, 44, 51, 29, 89, 86, 218, 195, 63, 15, 47, 18, 150,
    166, 8, 211, 64, 134, 249, 133, 252, 66, 153, 199, 157, 26, 215, 235, 125, 63, 151, 212, 247,
    24, 200, 227, 166, 27, 55, 227, 180, 120, 102, 178, 207, 203, 254, 160, 60, 26, 81, 198, 48,
    223, 46, 72, 186, 124, 236, 11, 208, 159, 116, 183, 118, 25, 66, 248, 146, 59, 61, 233, 235,
    204, 239, 107, 183, 126, 194, 183, 125, 140, 237, 127, 97, 205, 95, 9, 107, 14, 161, 168, 206,
    224, 143, 229, 178, 192, 125, 43, 183, 118, 193, 23, 43, 201, 196, 240, 127, 1, 94, 197, 188,
    230, 47, 3, 236, 255, 13, 223, 85, 76, 95, 27, 223, 246, 78, 210, 242, 131, 243, 248, 79, 205,
    105, 221, 202,
];

pub static ADDFONT: &[u8] = &[
    120, 156, 117, 82, 219, 114, 155, 48, 16, 253, 21, 85, 157, 190, 73, 232, 194, 29, 27, 103, 26,
    39, 205, 100, 166, 151, 204, 212, 105, 167, 125, 35, 32, 27, 53, 50, 98, 4, 49, 78, 191, 190,
    11, 117, 156, 184, 147, 62, 128, 246, 172, 206, 238, 158, 61, 48, 63, 219, 111, 13, 218, 41,
    215, 105, 219, 228, 88, 120, 28, 35, 213, 148, 182, 210, 205, 38, 199, 183, 171, 15, 52, 193,
    168, 235, 139, 166, 42, 140, 109, 84, 142, 27, 139, 207, 22, 243, 55, 23, 95, 150, 171, 31, 55,
    151, 168, 219, 109, 208, 205, 237, 249, 199, 235, 37, 194, 148, 177, 239, 254, 146, 177, 139,
    213, 5, 250, 250, 237, 10, 9, 79, 48, 118, 249, 25, 35, 92, 247, 125, 155, 49, 54, 12, 131, 55,
    248, 158, 117, 27, 118, 229, 138, 182, 214, 101, 199, 128, 200, 70, 34, 20, 49, 104, 38, 132,
    87, 245, 21, 94, 204, 199, 198, 131, 174, 250, 26, 68, 113, 254, 14, 163, 90, 233, 77, 221, 63,
    161, 157, 86, 195, 185, 221, 231, 152, 35, 142, 18, 153, 140, 15, 126, 185, 135, 192, 8, 54,
    107, 186, 252, 149, 225, 146, 115, 62, 14, 59, 80, 178, 189, 209, 205, 253, 107, 68, 145, 166,
    41, 155, 110, 39, 106, 214, 181, 69, 9, 30, 180, 78, 117, 202, 237, 212, 83, 61, 0, 189, 62,
    169, 159, 50, 94, 105, 183, 108, 116, 239, 209, 64, 209, 90, 27, 67, 221, 131, 81, 153, 218,
    169, 198, 86, 213, 172, 52, 186, 61, 205, 116, 189, 179, 247, 138, 194, 64, 245, 203, 234, 38,
    115, 246, 161, 57, 102, 183, 186, 87, 206, 104, 56, 50, 57, 3, 135, 156, 42, 123, 164, 171, 28,
    191, 119, 253, 157, 45, 92, 53, 174, 12, 134, 96, 244, 56, 189, 15, 238, 37, 50, 246, 226, 36,
    122, 54, 240, 152, 120, 33, 44, 107, 224, 227, 206, 48, 91, 204, 219, 162, 175, 17, 52, 253,
    36, 253, 208, 75, 82, 159, 248, 73, 224, 249, 169, 111, 2, 63, 32, 52, 54, 130, 64, 76, 131,
    64, 146, 196, 80, 201, 137, 76, 164, 161, 233, 116, 21, 36, 132, 70, 1, 48, 99, 66, 225, 8,
    185, 79, 68, 100, 168, 79, 210, 0, 42, 66, 200, 10, 8, 68, 76, 164, 20, 63, 79, 199, 191, 13,
    213, 221, 58, 224, 179, 103, 147, 64, 208, 111, 229, 236, 169, 166, 72, 36, 158, 12, 73, 228,
    243, 73, 18, 39, 52, 9, 76, 24, 16, 14, 33, 68, 130, 199, 158, 156, 64, 192, 97, 208, 17, 165,
    128, 14, 44, 154, 78, 55, 209, 95, 0, 180, 41, 254, 87, 205, 90, 134, 138, 87, 255, 81, 51,
    254, 57, 139, 63, 0, 233, 246, 135,
];

pub static APP: &[u8] = &[
    120, 156, 237, 92, 107, 115, 28, 215, 117, 252, 43, 147, 77, 229, 219, 204, 224, 190, 31, 148,
    40, 87, 89, 114, 92, 174, 114, 28, 87, 69, 78, 42, 250, 70, 47, 32, 18, 241, 18, 96, 129, 52,
    41, 229, 215, 187, 187, 207, 44, 48, 11, 128, 32, 65, 241, 37, 75, 69, 203, 216, 193, 204, 220,
    199, 121, 116, 247, 57, 179, 131, 47, 127, 243, 195, 211, 221, 240, 242, 228, 226, 249, 233,
    249, 217, 195, 141, 159, 221, 102, 56, 57, 219, 158, 31, 159, 158, 61, 126, 184, 249, 203, 183,
    255, 62, 181, 205, 240, 252, 197, 163, 179, 227, 71, 187, 243, 179, 147, 135, 155, 179, 243,
    205, 111, 190, 250, 242, 95, 190, 249, 207, 175, 191, 253, 223, 63, 255, 110, 120, 254, 242,
    241, 240, 231, 191, 252, 246, 143, 127, 248, 122, 216, 76, 71, 71, 255, 19, 191, 62, 58, 250,
    230, 219, 111, 134, 255, 250, 239, 223, 15, 126, 246, 71, 71, 191, 251, 211, 102, 216, 60, 121,
    241, 226, 217, 131, 163, 163, 87, 175, 94, 205, 175, 226, 124, 126, 241, 248, 232, 247, 23,
    143, 158, 61, 57, 221, 62, 63, 194, 133, 71, 188, 16, 55, 29, 97, 48, 239, 231, 227, 23, 199,
    155, 175, 190, 228, 192, 175, 78, 143, 95, 60, 193, 162, 156, 251, 183, 205, 240, 228, 228,
    244, 241, 147, 23, 251, 163, 151, 167, 39, 175, 126, 123, 254, 195, 195, 141, 27, 220, 128, 95,
    249, 161, 55, 44, 125, 181, 17, 191, 25, 176, 181, 179, 231, 15, 111, 153, 61, 56, 231, 56,
    219, 114, 201, 131, 31, 118, 167, 103, 127, 187, 237, 66, 223, 123, 63, 210, 89, 93, 250, 224,
    249, 179, 71, 91, 24, 225, 217, 197, 201, 243, 147, 139, 151, 39, 251, 251, 113, 112, 250, 253,
    193, 253, 250, 205, 188, 61, 127, 122, 68, 243, 253, 184, 195, 77, 223, 159, 238, 118, 211,
    197, 223, 119, 39, 15, 78, 94, 158, 156, 157, 31, 31, 127, 177, 221, 157, 62, 59, 252, 205,
    243, 23, 23, 231, 127, 59, 153, 48, 225, 201, 255, 157, 159, 158, 61, 184, 56, 255, 251, 217,
    229, 111, 159, 158, 190, 56, 185, 216, 157, 226, 199, 131, 240, 5, 76, 244, 120, 255, 191, 103,
    143, 94, 60, 25, 142, 31, 110, 254, 163, 214, 54, 199, 234, 71, 159, 194, 220, 119, 221, 205,
    33, 143, 53, 184, 185, 165, 178, 13, 115, 244, 97, 244, 109, 78, 45, 14, 147, 199, 47, 125, 28,
    99, 158, 99, 41, 195, 20, 250, 28, 122, 25, 99, 157, 75, 237, 187, 169, 4, 63, 183, 220, 198,
    90, 249, 99, 59, 233, 174, 52, 114, 8, 220, 171, 155, 234, 104, 99, 4, 28, 227, 46, 156, 181,
    65, 242, 14, 191, 47, 115, 118, 248, 69, 203, 110, 174, 174, 111, 39, 222, 88, 198, 105, 153,
    124, 153, 123, 90, 38, 95, 230, 182, 97, 226, 46, 117, 63, 119, 30, 23, 63, 231, 94, 118, 190,
    197, 185, 217, 142, 190, 59, 176, 229, 131, 127, 253, 62, 242, 223, 23, 155, 163, 215, 154, 96,
    242, 24, 157, 59, 241, 5, 182, 184, 117, 39, 184, 246, 246, 157, 20, 220, 173, 187, 70, 27,
    165, 132, 187, 214, 178, 221, 110, 181, 144, 3, 119, 148, 48, 55, 24, 162, 246, 60, 215, 20,
    118, 83, 234, 117, 14, 49, 142, 248, 125, 200, 105, 23, 103, 135, 217, 67, 154, 115, 240, 187,
    253, 185, 105, 57, 57, 217, 217, 201, 78, 191, 110, 186, 171, 185, 50, 66, 62, 194, 101, 46,
    224, 250, 190, 159, 171, 221, 156, 203, 215, 107, 115, 105, 42, 58, 244, 109, 167, 138, 125,
    78, 184, 190, 184, 14, 51, 214, 107, 83, 173, 119, 117, 235, 166, 74, 177, 153, 124, 121, 243,
    76, 161, 206, 21, 177, 128, 107, 103, 127, 199, 150, 46, 205, 215, 222, 217, 124, 156, 1, 217,
    146, 2, 92, 214, 218, 126, 174, 186, 158, 203, 172, 87, 174, 77, 117, 239, 153, 92, 154, 83,
    78, 99, 68, 76, 149, 154, 111, 11, 10, 88, 232, 192, 81, 183, 239, 202, 215, 215, 205, 117,
    244, 216, 254, 123, 60, 156, 98, 198, 63, 62, 250, 235, 201, 110, 179, 90, 65, 195, 205, 152,
    143, 193, 140, 249, 67, 155, 187, 203, 99, 136, 97, 118, 72, 191, 73, 103, 199, 41, 229, 217,
    37, 172, 78, 167, 177, 0, 59, 159, 118, 203, 205, 58, 125, 195, 129, 41, 33, 142, 220, 225,
    126, 179, 143, 115, 193, 29, 53, 205, 149, 113, 185, 63, 46, 113, 238, 251, 233, 219, 184, 31,
    222, 206, 34, 5, 151, 211, 54, 127, 191, 156, 255, 250, 140, 61, 186, 227, 239, 195, 225, 140,
    240, 35, 173, 163, 49, 123, 169, 72, 250, 108, 99, 130, 221, 58, 193, 14, 63, 177, 67, 92, 148,
    144, 243, 129, 150, 29, 121, 77, 204, 25, 215, 34, 12, 96, 96, 204, 218, 253, 144, 103, 47,
    220, 98, 20, 250, 1, 64, 218, 117, 216, 97, 183, 182, 197, 29, 94, 119, 34, 96, 226, 128, 65,
    21, 169, 24, 58, 13, 112, 79, 79, 101, 244, 76, 197, 188, 245, 115, 194, 65, 192, 246, 243,
    144, 120, 126, 140, 88, 95, 28, 10, 209, 16, 159, 131, 75, 91, 0, 16, 167, 117, 179, 7, 109,
    22, 251, 24, 99, 29, 176, 56, 2, 146, 155, 51, 102, 12, 115, 33, 26, 57, 70, 40, 70, 170, 92,
    12, 110, 247, 21, 7, 177, 4, 24, 13, 209, 1, 184, 117, 244, 36, 175, 3, 152, 15, 28, 200, 105,
    243, 49, 21, 30, 21, 94, 73, 140, 13, 219, 41, 205, 129, 115, 33, 159, 49, 215, 228, 147, 33,
    49, 246, 146, 10, 225, 176, 217, 170, 8, 154, 14, 224, 9, 187, 22, 112, 72, 156, 61, 172, 49,
    69, 68, 2, 60, 103, 39, 113, 168, 13, 142, 252, 225, 201, 54, 28, 24, 134, 3, 245, 12, 176, 3,
    35, 62, 48, 240, 251, 16, 227, 156, 232, 29, 36, 92, 76, 59, 16, 190, 111, 117, 132, 105, 105,
    82, 51, 137, 159, 67, 133, 185, 177, 53, 12, 152, 53, 60, 238, 45, 184, 9, 23, 228, 22, 105,
    81, 98, 58, 76, 142, 189, 79, 72, 145, 218, 71, 120, 39, 17, 211, 153, 192, 96, 23, 252, 192,
    126, 183, 116, 86, 235, 64, 137, 57, 209, 22, 220, 1, 77, 88, 103, 175, 195, 110, 190, 47, 242,
    187, 18, 139, 174, 197, 102, 224, 233, 64, 227, 22, 218, 1, 147, 242, 115, 76, 158, 182, 165,
    73, 232, 39, 220, 194, 197, 194, 188, 140, 34, 248, 137, 159, 115, 9, 164, 187, 90, 243, 200,
    40, 195, 80, 105, 110, 72, 224, 72, 202, 228, 129, 128, 147, 7, 112, 57, 83, 25, 183, 36, 63,
    128, 169, 237, 142, 202, 207, 9, 78, 192, 222, 98, 221, 98, 215, 9, 164, 13, 167, 33, 118, 144,
    26, 76, 212, 140, 132, 72, 67, 74, 136, 77, 109, 19, 179, 108, 97, 158, 8, 43, 18, 30, 48, 103,
    4, 109, 133, 174, 184, 237, 136, 198, 200, 160, 171, 226, 219, 108, 108, 156, 68, 106, 12, 227,
    36, 175, 119, 158, 102, 214, 68, 146, 98, 225, 239, 113, 92, 49, 102, 36, 157, 35, 18, 21, 78,
    181, 221, 128, 156, 133, 130, 175, 180, 205, 217, 249, 217, 255, 159, 92, 156, 31, 102, 100,
    208, 14, 58, 98, 133, 108, 108, 78, 199, 33, 142, 64, 191, 48, 4, 194, 2, 22, 98, 180, 34, 51,
    240, 57, 115, 253, 131, 65, 31, 226, 28, 215, 232, 44, 215, 192, 8, 130, 253, 228, 169, 192,
    12, 109, 73, 129, 15, 108, 228, 168, 56, 97, 163, 238, 34, 66, 42, 200, 111, 152, 17, 247, 251,
    168, 60, 138, 74, 29, 186, 100, 50, 159, 36, 101, 39, 125, 76, 231, 38, 166, 74, 84, 252, 97,
    134, 194, 144, 192, 20, 68, 141, 108, 86, 66, 56, 146, 30, 106, 150, 247, 48, 21, 110, 195,
    245, 133, 33, 156, 92, 151, 191, 17, 32, 145, 10, 72, 254, 198, 146, 10, 227, 1, 219, 140, 93,
    201, 67, 128, 0, 32, 53, 108, 19, 153, 142, 221, 56, 108, 1, 96, 2, 197, 161, 69, 119, 91, 244,
    59, 154, 26, 0, 93, 9, 168, 144, 79, 73, 224, 19, 90, 99, 4, 69, 248, 186, 48, 60, 160, 95, 16,
    71, 3, 224, 171, 98, 109, 200, 77, 164, 232, 14, 1, 100, 198, 114, 193, 111, 169, 118, 232,
    241, 168, 252, 2, 212, 135, 206, 212, 160, 24, 66, 224, 121, 163, 240, 226, 152, 67, 132, 16,
    199, 179, 200, 251, 198, 232, 193, 64, 158, 158, 74, 136, 46, 24, 13, 195, 50, 46, 49, 6, 149,
    161, 205, 98, 147, 76, 162, 63, 230, 58, 13, 133, 216, 166, 18, 227, 101, 60, 66, 84, 151, 200,
    108, 79, 201, 239, 250, 156, 113, 170, 22, 186, 250, 187, 167, 22, 33, 19, 14, 113, 41, 93, 22,
    121, 24, 168, 242, 6, 98, 28, 118, 1, 11, 96, 41, 200, 225, 40, 152, 119, 136, 56, 162, 131,
    130, 28, 233, 6, 116, 66, 10, 52, 221, 196, 92, 65, 72, 192, 145, 208, 156, 3, 132, 13, 166,
    197, 175, 156, 175, 8, 153, 40, 59, 34, 167, 11, 65, 134, 202, 48, 193, 49, 41, 11, 56, 106,
    134, 90, 192, 73, 237, 11, 182, 0, 170, 6, 194, 186, 210, 31, 187, 52, 252, 198, 90, 50, 195,
    75, 248, 198, 163, 206, 200, 163, 205, 32, 7, 251, 236, 185, 220, 10, 64, 140, 241, 221, 220,
    29, 123, 83, 136, 5, 152, 44, 34, 128, 82, 197, 97, 224, 174, 1, 18, 216, 130, 226, 217, 49,
    18, 16, 232, 128, 124, 5, 55, 63, 43, 228, 99, 147, 5, 147, 185, 94, 48, 30, 136, 117, 228,
    203, 74, 220, 99, 100, 78, 22, 154, 211, 50, 52, 71, 150, 232, 41, 146, 140, 164, 142, 173,
    145, 149, 229, 36, 34, 139, 187, 227, 38, 1, 134, 240, 66, 33, 23, 37, 146, 228, 46, 83, 103,
    87, 205, 28, 250, 58, 167, 27, 18, 57, 20, 133, 28, 226, 101, 159, 160, 101, 46, 36, 169, 235,
    11, 100, 234, 112, 137, 66, 230, 232, 149, 148, 48, 255, 142, 209, 70, 226, 43, 130, 206, 85,
    124, 101, 139, 175, 198, 140, 107, 100, 12, 47, 45, 193, 248, 138, 174, 239, 144, 28, 196, 235,
    6, 103, 250, 176, 53, 248, 69, 240, 100, 172, 157, 180, 37, 49, 1, 48, 34, 128, 48, 152, 184,
    240, 230, 229, 211, 84, 51, 193, 136, 54, 190, 132, 35, 166, 47, 70, 138, 0, 137, 172, 90, 99,
    2, 84, 59, 119, 67, 185, 220, 233, 223, 75, 5, 183, 114, 117, 135, 171, 25, 88, 61, 90, 156,
    133, 217, 59, 86, 50, 32, 63, 152, 60, 195, 148, 96, 212, 206, 189, 42, 3, 113, 49, 245, 27,
    66, 154, 71, 162, 132, 172, 216, 68, 186, 96, 128, 76, 227, 85, 242, 9, 241, 117, 128, 224, 33,
    107, 58, 67, 55, 168, 31, 138, 4, 88, 16, 71, 137, 35, 40, 133, 33, 10, 118, 60, 21, 145, 46,
    165, 251, 239, 158, 78, 4, 244, 64, 178, 224, 135, 216, 253, 46, 8, 231, 73, 49, 112, 176, 200,
    84, 57, 71, 51, 85, 201, 72, 205, 102, 147, 209, 128, 72, 3, 95, 178, 177, 31, 42, 55, 211,
    195, 162, 226, 101, 190, 201, 78, 83, 133, 232, 60, 183, 224, 109, 36, 110, 28, 155, 205, 140,
    47, 219, 58, 119, 158, 41, 222, 184, 245, 171, 165, 68, 146, 3, 64, 129, 137, 8, 216, 131, 52,
    219, 65, 132, 116, 74, 155, 232, 89, 131, 238, 150, 179, 60, 121, 3, 119, 225, 67, 252, 59, 76,
    187, 132, 138, 206, 83, 6, 71, 42, 137, 188, 109, 89, 108, 60, 97, 137, 5, 56, 18, 32, 138,
    188, 37, 54, 232, 6, 154, 74, 218, 208, 83, 217, 229, 173, 93, 51, 218, 45, 131, 93, 51, 234,
    14, 1, 161, 46, 26, 121, 15, 20, 151, 46, 10, 227, 50, 236, 180, 92, 53, 234, 38, 130, 45, 175,
    26, 237, 30, 64, 241, 50, 178, 238, 98, 170, 216, 101, 163, 221, 54, 216, 85, 227, 180, 44,
    231, 187, 167, 148, 188, 144, 214, 212, 84, 208, 94, 96, 180, 78, 227, 85, 104, 17, 64, 156,
    239, 201, 50, 23, 230, 7, 198, 13, 161, 36, 81, 19, 153, 4, 23, 243, 162, 50, 234, 158, 65, 87,
    96, 123, 118, 135, 122, 11, 145, 130, 204, 238, 216, 78, 186, 10, 0, 174, 123, 112, 90, 215,
    165, 209, 110, 195, 38, 120, 93, 84, 17, 142, 145, 151, 249, 71, 187, 139, 81, 202, 203, 232,
    254, 101, 120, 93, 54, 78, 203, 232, 119, 56, 235, 90, 250, 228, 74, 53, 11, 61, 233, 42, 224,
    29, 65, 14, 73, 2, 83, 130, 98, 122, 223, 81, 106, 90, 70, 187, 0, 202, 140, 65, 50, 27, 161,
    71, 1, 110, 248, 237, 2, 68, 62, 2, 144, 146, 45, 133, 6, 156, 200, 174, 240, 115, 166, 100,
    171, 137, 178, 53, 6, 126, 46, 73, 9, 38, 104, 165, 183, 0, 65, 160, 124, 14, 30, 89, 6, 248,
    74, 55, 131, 224, 152, 135, 149, 245, 137, 228, 29, 134, 42, 153, 230, 193, 178, 76, 60, 146,
    103, 40, 224, 132, 97, 94, 66, 12, 247, 96, 150, 232, 169, 87, 1, 161, 212, 161, 106, 223, 200,
    145, 88, 99, 148, 108, 105, 193, 146, 171, 9, 153, 115, 49, 144, 77, 145, 107, 168, 73, 234,
    159, 43, 229, 145, 11, 123, 78, 196, 80, 158, 154, 17, 75, 174, 131, 182, 197, 51, 46, 145, 85,
    93, 45, 74, 93, 21, 42, 197, 196, 96, 238, 240, 5, 24, 161, 168, 174, 242, 1, 198, 73, 242, 19,
    73, 109, 135, 243, 85, 86, 171, 196, 4, 167, 105, 84, 247, 209, 238, 102, 56, 48, 60, 183, 225,
    42, 183, 78, 81, 196, 74, 74, 133, 143, 235, 218, 122, 12, 226, 174, 226, 84, 210, 100, 111,
    117, 144, 207, 90, 184, 10, 47, 240, 151, 42, 154, 168, 181, 98, 122, 138, 106, 213, 58, 112,
    39, 55, 17, 51, 79, 208, 226, 52, 184, 225, 143, 164, 55, 128, 77, 99, 23, 158, 41, 69, 27,
    119, 137, 30, 238, 189, 106, 0, 18, 3, 209, 138, 249, 197, 8, 220, 2, 251, 139, 150, 135, 233,
    128, 96, 181, 101, 197, 72, 84, 102, 121, 200, 42, 137, 255, 32, 33, 142, 49, 41, 64, 40, 57,
    160, 204, 41, 107, 61, 236, 217, 64, 110, 226, 202, 214, 199, 100, 181, 40, 234, 48, 128, 43,
    148, 54, 73, 10, 1, 222, 137, 173, 20, 188, 70, 40, 108, 84, 245, 68, 168, 46, 137, 165, 98,
    247, 94, 16, 1, 79, 140, 84, 22, 158, 36, 179, 196, 78, 66, 70, 19, 50, 165, 251, 61, 79, 129,
    109, 107, 98, 198, 58, 132, 15, 75, 68, 173, 56, 39, 114, 7, 235, 16, 149, 134, 148, 195, 34,
    81, 74, 207, 4, 6, 43, 78, 46, 237, 190, 83, 60, 42, 118, 168, 141, 2, 179, 134, 6, 140, 172,
    205, 164, 223, 169, 99, 50, 133, 173, 5, 142, 116, 18, 149, 64, 55, 58, 20, 56, 251, 106, 204,
    221, 85, 98, 153, 205, 144, 68, 44, 177, 156, 105, 19, 214, 146, 64, 162, 100, 206, 246, 108,
    93, 105, 169, 92, 233, 13, 214, 116, 110, 155, 243, 241, 29, 172, 185, 78, 249, 194, 6, 0, 198,
    69, 188, 193, 98, 126, 103, 145, 55, 89, 232, 177, 88, 208, 230, 124, 10, 136, 1, 138, 123,
    214, 205, 67, 80, 164, 225, 210, 198, 156, 88, 62, 251, 52, 104, 217, 163, 197, 28, 99, 128,
    114, 143, 17, 183, 74, 114, 37, 88, 102, 163, 136, 185, 36, 34, 214, 101, 84, 255, 147, 37, 14,
    243, 70, 134, 41, 85, 69, 47, 41, 44, 42, 52, 113, 113, 70, 118, 96, 197, 68, 152, 200, 58, 82,
    121, 197, 228, 8, 138, 148, 218, 243, 85, 142, 135, 16, 204, 127, 90, 65, 210, 78, 98, 80, 110,
    72, 59, 225, 222, 172, 137, 212, 60, 65, 108, 203, 1, 205, 11, 64, 136, 210, 84, 95, 166, 88,
    105, 254, 210, 168, 121, 98, 210, 172, 16, 214, 35, 235, 220, 160, 66, 56, 234, 150, 174, 10,
    72, 129, 157, 84, 241, 52, 2, 78, 146, 239, 154, 117, 37, 60, 99, 184, 194, 112, 222, 162, 129,
    67, 85, 66, 17, 203, 117, 161, 84, 86, 219, 119, 102, 37, 140, 29, 48, 57, 41, 160, 105, 103,
    102, 48, 146, 164, 149, 129, 69, 189, 244, 93, 115, 97, 72, 154, 103, 98, 27, 186, 178, 253,
    17, 165, 180, 224, 190, 129, 221, 3, 133, 86, 4, 114, 120, 162, 156, 213, 122, 240, 154, 153,
    109, 50, 187, 177, 62, 182, 3, 48, 49, 102, 240, 138, 192, 144, 25, 220, 62, 43, 230, 156, 39,
    204, 195, 104, 4, 121, 170, 62, 226, 1, 62, 231, 186, 227, 255, 91, 210, 52, 198, 121, 240,
    214, 239, 81, 87, 197, 117, 109, 6, 48, 204, 163, 238, 168, 145, 216, 25, 81, 143, 192, 192,
    170, 21, 181, 6, 92, 85, 126, 4, 47, 103, 91, 14, 64, 205, 9, 196, 187, 28, 92, 229, 16, 95,
    24, 32, 157, 212, 141, 132, 240, 18, 119, 128, 92, 218, 202, 147, 18, 162, 211, 101, 181, 211,
    113, 206, 171, 190, 108, 142, 52, 226, 69, 54, 61, 113, 15, 222, 55, 69, 75, 170, 230, 148, 40,
    99, 47, 208, 229, 219, 45, 148, 96, 176, 223, 148, 189, 213, 146, 220, 231, 38, 70, 144, 43,
    193, 214, 132, 250, 98, 165, 177, 163, 168, 239, 93, 117, 86, 78, 25, 110, 201, 22, 112, 129,
    42, 190, 169, 84, 196, 130, 61, 189, 98, 205, 94, 232, 113, 191, 77, 100, 77, 235, 100, 5, 168,
    233, 108, 201, 239, 135, 78, 118, 28, 201, 36, 116, 9, 174, 36, 144, 194, 82, 132, 168, 76,
    244, 244, 204, 73, 202, 117, 84, 58, 181, 238, 4, 212, 94, 205, 159, 92, 33, 65, 81, 7, 38, 85,
    0, 213, 108, 96, 161, 24, 165, 131, 123, 50, 140, 78, 178, 65, 181, 166, 152, 47, 178, 129,
    178, 132, 30, 23, 241, 148, 34, 247, 123, 35, 211, 194, 248, 247, 78, 173, 156, 160, 68, 13,
    77, 214, 118, 58, 211, 152, 194, 89, 85, 9, 130, 33, 42, 103, 34, 41, 173, 39, 229, 38, 37, 91,
    176, 172, 165, 229, 89, 244, 167, 158, 14, 145, 2, 67, 82, 12, 56, 84, 59, 94, 61, 65, 70, 119,
    220, 90, 41, 66, 232, 99, 38, 40, 199, 106, 32, 127, 36, 235, 21, 69, 201, 147, 110, 17, 93,
    217, 72, 168, 66, 180, 28, 171, 122, 139, 113, 33, 96, 213, 253, 222, 224, 158, 209, 157, 187,
    181, 0, 129, 188, 136, 192, 42, 90, 76, 68, 196, 68, 21, 140, 48, 186, 209, 217, 185, 31, 210,
    66, 180, 23, 207, 70, 61, 189, 99, 49, 86, 105, 209, 28, 194, 176, 244, 214, 136, 244, 85, 145,
    201, 70, 30, 126, 101, 202, 71, 194, 37, 20, 131, 203, 194, 108, 72, 101, 5, 119, 140, 48, 117,
    60, 165, 18, 150, 174, 155, 129, 184, 49, 76, 237, 105, 37, 118, 226, 190, 48, 51, 193, 21,
    196, 229, 113, 225, 37, 69, 102, 81, 90, 199, 170, 162, 20, 40, 202, 48, 207, 222, 46, 107,
    195, 210, 1, 98, 253, 66, 21, 212, 139, 90, 172, 78, 237, 27, 8, 69, 229, 16, 147, 65, 176,
    180, 39, 70, 5, 182, 30, 191, 208, 236, 206, 156, 147, 24, 194, 78, 123, 176, 16, 38, 38, 176,
    21, 220, 213, 9, 210, 222, 58, 227, 160, 58, 74, 71, 144, 225, 160, 241, 70, 13, 190, 101, 48,
    141, 122, 114, 39, 8, 19, 243, 100, 106, 138, 152, 131, 80, 88, 115, 41, 28, 99, 230, 53, 84,
    160, 228, 13, 22, 247, 73, 42, 213, 103, 6, 75, 246, 150, 17, 173, 75, 190, 106, 113, 133, 32,
    39, 205, 205, 39, 118, 156, 107, 105, 240, 229, 126, 165, 233, 178, 74, 249, 212, 170, 105, 43,
    225, 129, 201, 174, 210, 5, 107, 234, 126, 179, 202, 42, 20, 40, 45, 72, 74, 150, 102, 170,
    206, 114, 157, 15, 102, 9, 152, 101, 145, 208, 210, 117, 128, 29, 131, 221, 74, 34, 201, 41,
    152, 55, 35, 71, 241, 65, 168, 85, 9, 110, 117, 174, 214, 168, 22, 147, 148, 168, 85, 5, 122,
    54, 236, 187, 157, 222, 250, 116, 90, 73, 214, 179, 70, 196, 146, 211, 138, 123, 99, 43, 61,
    233, 4, 57, 27, 184, 25, 70, 245, 138, 41, 127, 44, 48, 26, 140, 130, 179, 194, 113, 178, 87,
    167, 153, 120, 144, 69, 35, 7, 101, 64, 141, 218, 67, 240, 100, 37, 215, 22, 163, 210, 11, 41,
    196, 189, 116, 104, 98, 206, 128, 82, 33, 145, 154, 25, 204, 157, 73, 189, 108, 57, 91, 76,
    201, 136, 142, 170, 35, 69, 97, 111, 140, 228, 192, 84, 133, 86, 8, 225, 225, 210, 128, 84, 30,
    68, 39, 75, 229, 30, 244, 160, 32, 236, 129, 253, 114, 110, 181, 0, 40, 246, 152, 80, 84, 193,
    44, 192, 152, 73, 156, 16, 216, 192, 160, 242, 138, 238, 38, 77, 201, 167, 118, 234, 151, 83,
    83, 186, 162, 71, 6, 186, 163, 187, 229, 137, 129, 168, 62, 41, 139, 154, 103, 151, 32, 4, 191,
    151, 225, 182, 172, 165, 207, 224, 184, 105, 177, 156, 246, 219, 115, 177, 38, 185, 120, 109,
    33, 31, 131, 225, 68, 165, 151, 136, 205, 220, 115, 141, 10, 148, 214, 140, 27, 147, 196, 70,
    51, 237, 80, 97, 113, 202, 141, 98, 226, 219, 233, 185, 76, 110, 26, 178, 75, 60, 52, 205, 92,
    88, 12, 224, 46, 102, 68, 244, 198, 188, 141, 64, 92, 12, 213, 83, 212, 153, 110, 125, 2, 228,
    153, 212, 235, 214, 8, 130, 201, 168, 158, 65, 129, 169, 41, 71, 212, 132, 234, 68, 101, 38,
    133, 183, 190, 38, 99, 152, 16, 221, 85, 109, 33, 102, 9, 166, 78, 90, 17, 209, 150, 22, 152,
    131, 22, 25, 234, 162, 233, 42, 156, 193, 231, 199, 52, 122, 15, 140, 163, 194, 85, 248, 196,
    91, 163, 103, 255, 211, 123, 102, 172, 103, 63, 169, 197, 98, 184, 53, 154, 252, 97, 164, 103,
    62, 245, 168, 93, 21, 129, 3, 232, 64, 254, 68, 201, 128, 148, 200, 19, 206, 196, 24, 232, 143,
    15, 143, 120, 143, 186, 151, 35, 219, 82, 73, 169, 146, 20, 133, 78, 198, 9, 137, 110, 9, 181,
    112, 180, 26, 4, 182, 85, 246, 92, 18, 207, 41, 133, 122, 53, 114, 76, 226, 57, 64, 138, 181,
    13, 111, 60, 207, 188, 31, 45, 180, 42, 3, 81, 128, 199, 176, 102, 5, 191, 102, 133, 242, 209,
    88, 33, 127, 8, 86, 176, 74, 50, 249, 183, 162, 133, 188, 98, 133, 186, 98, 133, 246, 26, 86,
    200, 183, 179, 66, 189, 193, 10, 94, 172, 160, 154, 77, 197, 211, 158, 21, 196, 16, 224, 44,
    178, 66, 120, 31, 172, 80, 222, 137, 21, 210, 158, 21, 220, 1, 33, 164, 3, 66, 40, 119, 16, 66,
    126, 75, 66, 8, 107, 66, 240, 111, 195, 7, 225, 227, 242, 65, 88, 241, 1, 2, 252, 138, 16, 124,
    95, 51, 66, 94, 51, 66, 125, 45, 35, 196, 53, 35, 132, 97, 53, 251, 21, 33, 132, 15, 75, 8,
    249, 38, 33, 196, 91, 8, 33, 154, 166, 190, 131, 16, 210, 29, 132, 144, 140, 16, 172, 209, 224,
    146, 17, 130, 95, 19, 66, 91, 17, 130, 149, 185, 7, 132, 144, 95, 75, 8, 97, 77, 8, 50, 110,
    168, 63, 133, 16, 170, 8, 161, 172, 8, 161, 173, 8, 33, 95, 17, 66, 91, 17, 66, 189, 157, 16,
    234, 59, 16, 66, 93, 19, 66, 190, 133, 16, 68, 2, 53, 127, 2, 66, 200, 221, 169, 142, 44, 206,
    89, 119, 255, 215, 38, 236, 170, 9, 91, 215, 77, 216, 178, 110, 194, 214, 117, 19, 54, 190, 93,
    19, 182, 172, 154, 176, 159, 67, 15, 54, 127, 150, 61, 216, 252, 139, 237, 193, 134, 143, 211,
    131, 77, 73, 79, 232, 152, 241, 203, 131, 129, 15, 212, 131, 141, 111, 232, 193, 166, 117, 15,
    54, 174, 122, 176, 109, 221, 130, 77, 239, 169, 5, 91, 63, 139, 22, 172, 63, 232, 193, 230,
    117, 15, 150, 218, 122, 213, 132, 205, 159, 174, 9, 155, 127, 158, 77, 216, 242, 79, 214, 132,
    205, 171, 38, 236, 107, 122, 176, 241, 103, 209, 131, 253, 133, 182, 96, 11, 230, 67, 158, 20,
    126, 191, 184, 31, 20, 219, 159, 168, 5, 251, 19, 138, 237, 252, 51, 106, 193, 174, 139, 237,
    15, 212, 130, 109, 235, 98, 59, 29, 20, 219, 229, 160, 216, 142, 159, 162, 5, 27, 62, 251, 22,
    236, 187, 148, 220, 191, 54, 97, 63, 90, 19, 54, 125, 46, 77, 88, 215, 239, 211, 133, 109, 63,
    151, 46, 108, 239, 124, 73, 96, 204, 248, 89, 75, 122, 135, 54, 108, 251, 160, 204, 224, 223,
    239, 211, 185, 79, 220, 135, 13, 171, 62, 236, 205, 167, 115, 233, 253, 81, 195, 79, 236, 195,
    78, 191, 54, 98, 223, 142, 21, 94, 255, 104, 46, 190, 150, 21, 62, 77, 35, 246, 22, 82, 184,
    173, 17, 27, 222, 71, 35, 182, 29, 52, 98, 223, 64, 10, 239, 220, 135, 125, 15, 156, 240, 25,
    247, 97, 253, 39, 235, 195, 22, 143, 146, 13, 121, 83, 248, 86, 94, 109, 250, 122, 52, 223,
    163, 128, 131, 91, 103, 0, 178, 103, 208, 216, 65, 217, 241, 21, 217, 106, 125, 186, 190, 179,
    96, 164, 89, 122, 185, 42, 77, 189, 190, 48, 154, 132, 204, 44, 57, 9, 151, 246, 42, 21, 145,
    50, 23, 67, 53, 125, 147, 52, 57, 251, 110, 154, 234, 38, 235, 130, 6, 161, 169, 181, 129, 148,
    121, 165, 170, 53, 41, 183, 176, 239, 235, 150, 174, 98, 214, 23, 212, 151, 62, 144, 34, 203,
    7, 66, 116, 233, 132, 238, 94, 180, 112, 175, 246, 138, 119, 74, 35, 212, 106, 99, 185, 236, 2,
    171, 59, 156, 162, 232, 38, 21, 134, 86, 178, 18, 213, 5, 189, 151, 147, 170, 149, 229, 116,
    11, 87, 203, 236, 79, 28, 218, 89, 123, 119, 121, 53, 205, 181, 155, 45, 83, 103, 184, 105,
    111, 130, 45, 52, 199, 47, 213, 78, 75, 15, 119, 169, 194, 156, 190, 36, 35, 84, 169, 195, 50,
    151, 190, 160, 94, 212, 228, 40, 75, 147, 131, 13, 197, 168, 144, 45, 218, 6, 130, 108, 100,
    224, 238, 60, 219, 146, 2, 59, 164, 188, 53, 159, 47, 97, 144, 192, 160, 53, 12, 97, 121, 216,
    146, 90, 218, 90, 155, 193, 186, 12, 142, 153, 205, 29, 232, 107, 8, 108, 216, 222, 222, 61,
    187, 163, 67, 222, 244, 144, 165, 196, 125, 185, 110, 13, 219, 201, 58, 182, 178, 13, 223, 106,
    177, 94, 130, 133, 252, 65, 131, 220, 188, 201, 38, 254, 27, 26, 228, 205, 250, 159, 122, 73,
    251, 159, 230, 91, 202, 221, 170, 218, 198, 22, 131, 95, 90, 228, 49, 13, 139, 116, 129, 197,
    27, 105, 195, 219, 101, 85, 151, 241, 145, 196, 100, 207, 36, 252, 190, 41, 204, 103, 18, 246,
    72, 98, 178, 103, 18, 129, 223, 227, 55, 170, 204, 126, 41, 73, 37, 113, 152, 64, 74, 81, 238,
    144, 59, 215, 38, 2, 123, 239, 20, 95, 20, 93, 129, 44, 212, 20, 228, 141, 17, 146, 42, 177,
    56, 100, 179, 0, 176, 171, 226, 214, 122, 51, 125, 244, 18, 73, 234, 74, 18, 92, 48, 234, 53,
    212, 27, 233, 195, 142, 137, 141, 76, 237, 33, 230, 10, 65, 148, 65, 25, 38, 21, 182, 208, 211,
    94, 50, 134, 203, 124, 177, 110, 77, 178, 190, 38, 146, 98, 48, 12, 17, 237, 88, 239, 47, 187,
    229, 141, 53, 248, 49, 116, 245, 197, 16, 48, 55, 222, 179, 9, 238, 216, 189, 53, 46, 230, 162,
    182, 46, 228, 23, 103, 249, 184, 221, 234, 118, 255, 110, 245, 250, 11, 195, 241, 45, 187, 213,
    97, 221, 173, 78, 7, 221, 106, 191, 238, 86, 183, 119, 238, 86, 183, 203, 110, 117, 235, 235,
    126, 245, 186, 93, 221, 15, 218, 213, 225, 189, 181, 171, 227, 103, 209, 174, 222, 35, 185,
    218, 213, 105, 221, 174, 78, 7, 237, 234, 246, 97, 218, 213, 113, 221, 174, 78, 235, 118, 117,
    94, 183, 171, 253, 135, 237, 87, 231, 207, 185, 95, 205, 76, 94, 53, 172, 253, 109, 29, 235,
    100, 29, 235, 244, 198, 142, 117, 254, 197, 117, 172, 195, 237, 29, 235, 251, 129, 109, 227,
    235, 118, 125, 44, 124, 43, 28, 170, 167, 232, 101, 119, 149, 40, 109, 189, 96, 42, 154, 88,
    77, 19, 71, 58, 182, 75, 57, 39, 151, 239, 249, 252, 255, 166, 186, 57, 124, 63, 227, 224, 249,
    191, 158, 242, 75, 221, 68, 61, 116, 102, 46, 22, 189, 234, 75, 75, 192, 240, 150, 138, 42,
    229, 151, 202, 87, 34, 94, 69, 64, 216, 43, 218, 84, 110, 201, 157, 230, 76, 23, 248, 112, 83,
    221, 56, 171, 251, 229, 236, 67, 93, 16, 131, 189, 62, 153, 183, 70, 38, 86, 117, 46, 122, 121,
    178, 119, 73, 248, 118, 185, 169, 155, 114, 96, 206, 157, 183, 191, 236, 192, 87, 254, 90, 225,
    219, 187, 201, 202, 80, 43, 245, 86, 136, 114, 181, 141, 118, 203, 54, 140, 12, 105, 237, 201,
    204, 61, 93, 126, 139, 161, 36, 123, 211, 51, 221, 173, 110, 214, 187, 48, 241, 149, 5, 20,
    197, 208, 175, 87, 2, 133, 179, 242, 146, 252, 70, 221, 107, 80, 35, 112, 185, 212, 107, 75,
    185, 206, 50, 137, 218, 207, 190, 212, 2, 153, 185, 85, 214, 169, 214, 15, 18, 136, 203, 19,
    144, 125, 225, 141, 84, 39, 28, 176, 70, 227, 223, 243, 40, 141, 111, 177, 170, 109, 195, 63,
    124, 224, 33, 142, 174, 53, 101, 22, 25, 232, 248, 185, 231, 170, 124, 178, 191, 89, 160, 145,
    233, 167, 92, 84, 81, 106, 146, 70, 252, 241, 246, 29, 3, 108, 89, 56, 107, 44, 31, 88, 210,
    103, 83, 144, 46, 240, 219, 7, 222, 186, 165, 54, 67, 174, 170, 49, 51, 135, 237, 69, 160, 77,
    41, 72, 87, 118, 171, 29, 243, 190, 118, 12, 75, 168, 66, 212, 41, 56, 141, 202, 173, 218, 48,
    151, 243, 175, 36, 40, 236, 196, 164, 78, 197, 70, 50, 144, 6, 130, 209, 70, 251, 47, 8, 176,
    245, 80, 156, 218, 109, 168, 224, 232, 161, 164, 191, 121, 16, 26, 235, 178, 229, 221, 245,
    170, 23, 232, 202, 130, 216, 124, 81, 158, 196, 164, 177, 251, 79, 19, 92, 32, 123, 25, 159,
    88, 16, 66, 93, 7, 109, 213, 159, 249, 48, 40, 110, 252, 186, 131, 190, 73, 194, 194, 176, 172,
    48, 32, 221, 192, 128, 112, 133, 1, 209, 94, 117, 206, 111, 42, 113, 154, 74, 156, 242, 118,
    32, 80, 5, 2, 84, 57, 212, 180, 215, 25, 249, 90, 254, 180, 182, 180, 60, 203, 253, 94, 197,
    44, 214, 82, 75, 254, 238, 4, 178, 241, 246, 25, 20, 87, 25, 100, 16, 195, 34, 103, 109, 210,
    29, 1, 60, 235, 111, 123, 232, 13, 245, 168, 210, 72, 47, 216, 175, 225, 44, 222, 19, 206, 94,
    95, 172, 189, 37, 156, 29, 148, 57, 150, 252, 180, 122, 100, 133, 111, 95, 37, 74, 68, 2, 107,
    52, 250, 213, 214, 137, 4, 251, 239, 149, 74, 236, 168, 170, 80, 132, 171, 41, 189, 71, 1, 127,
    153, 172, 210, 108, 66, 1, 120, 7, 131, 68, 74, 200, 251, 7, 49, 255, 219, 158, 94, 108, 119,
    39, 195, 246, 135, 135, 155, 18, 43, 91, 231, 155, 97, 251, 227, 195, 77, 238, 148, 204, 101,
    51, 92, 60, 220, 64, 66, 226, 196, 181, 209, 79, 254, 202, 127, 54, 250, 249, 179, 71, 219,
    211, 23, 63, 62, 160, 198, 57, 24, 157, 127, 160, 238, 171, 127, 0, 248, 177, 155, 204,
];

pub static COLORPALETTE: &[u8] = &[
    120, 156, 197, 86, 107, 111, 218, 48, 20, 253, 43, 158, 167, 125, 139, 159, 121, 225, 148, 80,
    169, 180, 171, 42, 237, 81, 105, 116, 211, 250, 141, 37, 6, 178, 154, 4, 37, 41, 180, 255, 126,
    78, 98, 243, 26, 211, 196, 170, 21, 9, 97, 238, 229, 28, 159, 123, 174, 175, 33, 253, 243, 167,
    185, 2, 75, 89, 86, 89, 145, 199, 144, 97, 10, 129, 204, 147, 34, 205, 242, 105, 12, 239, 70,
    239, 81, 15, 130, 170, 30, 231, 233, 88, 21, 185, 140, 97, 94, 192, 243, 65, 255, 205, 229,
    231, 225, 232, 251, 237, 21, 168, 150, 83, 112, 123, 119, 241, 225, 102, 8, 32, 34, 228, 155,
    59, 36, 228, 114, 116, 9, 190, 124, 189, 6, 12, 51, 66, 174, 62, 65, 0, 103, 117, 189, 136, 8,
    89, 173, 86, 120, 229, 226, 162, 156, 146, 235, 114, 188, 152, 101, 73, 69, 52, 144, 52, 64,
    77, 34, 122, 51, 198, 112, 90, 167, 112, 208, 111, 54, 94, 101, 105, 61, 211, 69, 81, 250, 14,
    130, 153, 204, 166, 179, 218, 70, 203, 76, 174, 46, 138, 167, 24, 82, 64, 129, 78, 117, 111,
    112, 219, 9, 131, 64, 123, 203, 171, 248, 128, 60, 215, 224, 70, 206, 64, 162, 39, 149, 229,
    15, 135, 128, 76, 8, 65, 218, 111, 91, 104, 84, 45, 198, 137, 238, 194, 162, 148, 149, 44, 151,
    210, 242, 117, 144, 77, 118, 248, 109, 6, 39, 197, 156, 52, 253, 123, 86, 154, 52, 201, 148,
    66, 229, 163, 146, 145, 92, 202, 188, 72, 211, 179, 68, 101, 139, 221, 76, 85, 151, 197, 131,
    68, 90, 80, 254, 44, 178, 60, 42, 139, 199, 124, 157, 157, 103, 181, 44, 85, 166, 151, 136,
    159, 233, 30, 77, 219, 87, 41, 147, 26, 232, 78, 8, 142, 61, 30, 66, 240, 28, 67, 143, 134,
    216, 237, 185, 112, 221, 193, 158, 192, 190, 203, 183, 154, 104, 19, 91, 165, 69, 111, 165, 63,
    225, 52, 61, 131, 100, 208, 95, 140, 235, 25, 72, 99, 248, 145, 247, 24, 22, 190, 112, 204,
    150, 10, 25, 170, 131, 168, 66, 212, 49, 145, 178, 89, 170, 168, 99, 33, 247, 115, 196, 194,
    16, 83, 157, 102, 28, 251, 45, 60, 240, 58, 120, 183, 26, 184, 73, 218, 15, 122, 235, 251, 166,
    6, 107, 204, 163, 62, 230, 174, 247, 18, 103, 169, 224, 1, 15, 118, 157, 249, 194, 195, 97, 16,
    156, 194, 217, 186, 6, 161, 181, 253, 208, 61, 69, 13, 228, 143, 211, 35, 2, 204, 132, 127,
    108, 139, 121, 144, 10, 247, 199, 225, 225, 233, 118, 252, 155, 59, 116, 164, 61, 116, 244,
    244, 252, 155, 51, 154, 134, 98, 194, 15, 15, 207, 41, 157, 133, 172, 135, 169, 199, 94, 224,
    108, 194, 199, 147, 253, 11, 111, 71, 242, 20, 206, 204, 76, 254, 54, 63, 33, 243, 48, 15, 183,
    174, 199, 255, 187, 29, 123, 23, 212, 158, 243, 171, 87, 112, 232, 144, 77, 17, 71, 255, 172,
    123, 52, 221, 159, 95, 123, 202, 175, 238, 139, 108, 159, 111, 243, 159, 237, 184, 28, 7, 156,
    39, 173, 2, 166, 212, 3, 72, 215, 20, 176, 158, 131, 186, 111, 128, 89, 109, 172, 144, 112,
    245, 161, 248, 129, 67, 19, 67, 113, 232, 26, 212, 113, 215, 161, 165, 80, 199, 144, 146, 214,
    94, 171, 99, 100, 140, 202, 46, 193, 74, 32, 154, 24, 9, 68, 45, 196, 212, 7, 246, 202, 210, 6,
    12, 171, 105, 145, 110, 77, 219, 7, 43, 171, 85, 245, 35, 9, 13, 0, 18, 152, 178, 192, 225, 20,
    179, 198, 91, 183, 154, 112, 99, 13, 53, 222, 90, 66, 35, 108, 81, 29, 119, 19, 90, 214, 70,
    186, 177, 103, 136, 160, 19, 50, 32, 176, 199, 217, 244, 208, 200, 80, 139, 232, 52, 118, 234,
    90, 159, 92, 243, 204, 52, 248, 5, 164, 110, 127, 34,
];

pub static CONVERT: &[u8] = &[
    120, 156, 237, 87, 109, 111, 219, 54, 16, 254, 222, 95, 193, 105, 24, 144, 0, 54, 197, 227,
    155, 68, 197, 110, 177, 58, 93, 49, 192, 93, 11, 52, 217, 176, 125, 25, 84, 75, 182, 181, 42,
    146, 33, 41, 182, 243, 239, 123, 146, 69, 249, 53, 133, 215, 5, 221, 151, 36, 129, 197, 135,
    34, 239, 142, 207, 195, 59, 95, 6, 175, 214, 119, 41, 89, 198, 69, 153, 228, 217, 208, 1, 202,
    28, 18, 103, 147, 60, 74, 178, 217, 208, 185, 189, 249, 165, 239, 59, 164, 172, 194, 44, 10,
    211, 60, 139, 135, 78, 150, 59, 175, 94, 190, 24, 252, 112, 253, 126, 116, 243, 231, 135, 55,
    164, 92, 206, 200, 135, 219, 215, 227, 95, 71, 196, 233, 187, 238, 31, 98, 228, 186, 215, 55,
    215, 228, 227, 239, 111, 9, 80, 112, 221, 55, 191, 57, 196, 153, 87, 213, 34, 112, 221, 213,
    106, 69, 87, 130, 230, 197, 204, 125, 91, 132, 139, 121, 50, 41, 93, 92, 232, 214, 11, 113,
    147, 139, 198, 0, 104, 84, 69, 14, 186, 168, 45, 175, 146, 168, 154, 99, 88, 140, 253, 228,
    144, 121, 156, 204, 230, 149, 69, 203, 36, 94, 189, 206, 215, 67, 135, 17, 70, 128, 105, 211,
    124, 56, 187, 103, 1, 135, 224, 233, 178, 114, 120, 194, 63, 103, 140, 213, 254, 218, 37, 193,
    58, 77, 178, 207, 167, 22, 130, 49, 198, 109, 222, 54, 75, 131, 114, 17, 78, 144, 135, 69, 17,
    151, 113, 177, 140, 237, 126, 4, 201, 116, 111, 127, 51, 67, 39, 249, 157, 91, 51, 248, 144,
    226, 166, 105, 146, 166, 253, 226, 62, 141, 131, 120, 25, 103, 121, 20, 93, 77, 210, 100, 177,
    63, 83, 86, 69, 254, 57, 238, 163, 195, 120, 18, 46, 130, 34, 191, 207, 246, 38, 255, 201, 147,
    108, 127, 246, 46, 169, 226, 34, 77, 240, 17, 0, 85, 87, 200, 29, 193, 159, 193, 140, 84, 69,
    152, 149, 211, 188, 184, 27, 58, 119, 97, 85, 36, 235, 11, 73, 65, 107, 237, 245, 24, 254, 238,
    140, 47, 219, 61, 237, 190, 36, 26, 58, 63, 23, 213, 167, 60, 44, 34, 228, 240, 216, 12, 163,
    70, 11, 110, 84, 99, 167, 3, 125, 80, 30, 21, 2, 234, 1, 80, 207, 19, 187, 102, 27, 211, 69,
    60, 169, 8, 74, 6, 90, 80, 193, 181, 67, 30, 112, 140, 155, 148, 194, 113, 171, 53, 215, 154,
    10, 38, 183, 114, 119, 19, 59, 36, 6, 25, 94, 198, 43, 199, 61, 176, 127, 234, 200, 120, 13,
    148, 244, 252, 38, 84, 59, 238, 75, 73, 133, 238, 245, 49, 76, 198, 149, 119, 24, 231, 87, 108,
    49, 193, 165, 108, 109, 109, 198, 96, 124, 36, 82, 245, 128, 41, 202, 125, 115, 202, 86, 99,
    111, 17, 86, 115, 130, 196, 190, 3, 13, 84, 40, 175, 7, 146, 83, 238, 201, 81, 135, 185, 79,
    165, 146, 4, 20, 163, 32, 16, 131, 71, 185, 16, 4, 4, 158, 31, 58, 60, 246, 53, 62, 180, 133,
    35, 143, 83, 9, 29, 36, 104, 12, 140, 238, 140, 89, 184, 241, 53, 182, 208, 112, 116, 41, 71,
    45, 228, 76, 83, 240, 20, 105, 77, 113, 52, 37, 140, 34, 173, 163, 22, 142, 109, 28, 45, 30,
    217, 56, 237, 114, 123, 14, 107, 173, 59, 215, 198, 217, 248, 224, 220, 127, 237, 11, 90, 204,
    62, 93, 232, 154, 77, 192, 216, 229, 229, 145, 182, 13, 135, 238, 236, 191, 8, 165, 49, 142,
    218, 61, 78, 248, 234, 89, 167, 111, 215, 9, 36, 190, 21, 61, 46, 249, 101, 91, 131, 130, 213,
    28, 139, 144, 45, 72, 77, 38, 7, 154, 26, 111, 177, 62, 79, 200, 227, 137, 71, 82, 217, 23, 28,
    108, 42, 55, 99, 144, 154, 250, 140, 99, 250, 1, 245, 133, 60, 59, 149, 25, 229, 152, 177, 88,
    254, 250, 172, 254, 235, 32, 8, 44, 103, 74, 247, 164, 71, 153, 17, 103, 92, 19, 93, 43, 88,
    11, 203, 148, 161, 40, 157, 148, 88, 16, 17, 163, 21, 106, 140, 24, 219, 247, 62, 170, 198,
    229, 22, 183, 235, 15, 232, 189, 47, 210, 139, 31, 255, 30, 99, 157, 15, 11, 56, 157, 5, 7,
    183, 148, 113, 188, 13, 178, 167, 132, 164, 82, 155, 145, 197, 30, 186, 211, 66, 18, 159, 27,
    188, 238, 54, 26, 162, 204, 94, 116, 39, 138, 106, 43, 232, 110, 32, 157, 204, 86, 89, 78, 213,
    119, 80, 22, 12, 229, 92, 61, 153, 178, 2, 19, 207, 227, 255, 66, 89, 137, 9, 224, 113, 211,
    51, 152, 124, 152, 146, 2, 45, 33, 66, 130, 169, 145, 181, 206, 155, 183, 152, 152, 84, 155,
    45, 110, 86, 127, 69, 85, 113, 142, 170, 210, 167, 30, 219, 138, 218, 66, 110, 154, 111, 66,
    130, 137, 71, 89, 93, 44, 55, 161, 16, 233, 239, 133, 118, 158, 168, 242, 169, 68, 237, 192,
    118, 16, 197, 211, 114, 103, 65, 218, 56, 196, 142, 47, 74, 226, 172, 106, 218, 11, 123, 197,
    177, 125, 2, 108, 225, 176, 19, 216, 60, 214, 28, 59, 2, 68, 188, 65, 179, 118, 203, 109, 150,
    84, 216, 197, 221, 99, 75, 245, 177, 110, 191, 222, 103, 183, 101, 188, 125, 125, 115, 220,
    231, 8, 236, 132, 248, 166, 63, 177, 99, 123, 245, 61, 172, 135, 92, 0, 234, 63, 40, 171, 124,
    65, 242, 233, 180, 140, 171, 198, 95, 203, 91, 61, 221, 159, 228, 105, 94, 156, 40, 119, 248,
    42, 199, 24, 146, 234, 33, 0, 36, 107, 223, 6, 60, 102, 99, 247, 171, 237, 216, 134, 187, 207,
    208, 89, 212, 241, 103, 234, 190, 149, 58, 241, 29, 169, 219, 164, 46, 239, 9, 168, 7, 250,
    127, 162, 78, 60, 21, 117, 242, 153, 186, 71, 169, 27, 184, 155, 186, 55, 168, 255, 175, 124,
    249, 226, 11, 154, 102, 7, 230,
];

pub static EXPORT: &[u8] = &[
    120, 156, 181, 88, 219, 110, 27, 55, 16, 253, 21, 118, 139, 190, 237, 114, 121, 191, 56, 113,
    2, 228, 210, 162, 64, 218, 6, 104, 210, 162, 125, 115, 169, 181, 173, 102, 35, 25, 146, 98, 59,
    253, 250, 158, 33, 185, 186, 216, 113, 226, 24, 45, 18, 68, 26, 45, 57, 156, 57, 115, 102, 14,
    55, 143, 159, 94, 191, 31, 217, 229, 176, 90, 207, 151, 139, 227, 70, 114, 209, 176, 97, 145,
    150, 179, 249, 226, 236, 184, 121, 251, 230, 251, 46, 52, 108, 189, 57, 89, 204, 78, 198, 229,
    98, 56, 110, 22, 203, 230, 233, 147, 199, 223, 188, 248, 229, 249, 155, 63, 94, 191, 100, 235,
    203, 51, 246, 250, 237, 179, 87, 63, 62, 103, 77, 215, 247, 191, 235, 231, 125, 255, 226, 205,
    11, 246, 235, 111, 63, 48, 201, 101, 223, 191, 252, 185, 97, 205, 249, 102, 115, 113, 212, 247,
    87, 87, 87, 252, 74, 243, 229, 234, 172, 255, 97, 117, 114, 113, 62, 79, 235, 30, 11, 123, 90,
    136, 77, 61, 156, 73, 201, 103, 155, 89, 243, 228, 49, 57, 190, 154, 207, 54, 231, 8, 74, 136,
    239, 26, 118, 62, 204, 207, 206, 55, 147, 117, 57, 31, 174, 158, 45, 175, 143, 27, 193, 4, 83,
    194, 91, 252, 19, 76, 179, 159, 137, 108, 24, 114, 91, 172, 143, 63, 113, 188, 18, 66, 208,
    113, 117, 201, 209, 245, 56, 95, 188, 251, 212, 66, 25, 99, 236, 243, 211, 188, 244, 104, 125,
    113, 146, 128, 194, 197, 106, 88, 15, 171, 203, 97, 218, 15, 99, 126, 122, 176, 63, 255, 194,
    211, 242, 125, 79, 248, 125, 28, 177, 233, 116, 62, 142, 221, 234, 195, 56, 28, 13, 151, 195,
    98, 57, 155, 61, 74, 227, 252, 226, 240, 151, 245, 102, 181, 124, 55, 116, 56, 112, 248, 123,
    57, 95, 28, 173, 150, 31, 22, 219, 95, 223, 207, 55, 195, 106, 156, 227, 227, 72, 61, 2, 70,
    103, 211, 223, 139, 147, 205, 57, 155, 29, 55, 63, 73, 239, 21, 119, 177, 213, 94, 240, 160,
    195, 216, 9, 46, 132, 108, 165, 211, 142, 27, 159, 68, 107, 36, 143, 54, 178, 78, 27, 46, 156,
    107, 189, 227, 66, 89, 214, 229, 79, 83, 205, 177, 147, 6, 117, 240, 182, 21, 169, 163, 13, 78,
    183, 162, 174, 137, 109, 221, 186, 179, 167, 77, 162, 237, 100, 212, 146, 171, 144, 232, 123,
    62, 41, 176, 122, 80, 93, 197, 110, 108, 146, 82, 58, 30, 225, 126, 172, 17, 79, 145, 255, 121,
    128, 218, 209, 183, 167, 167, 179, 100, 145, 116, 255, 185, 100, 85, 52, 60, 72, 221, 118, 53,
    110, 27, 240, 181, 6, 106, 107, 224, 126, 103, 215, 24, 16, 107, 221, 248, 165, 32, 146, 63, 1,
    111, 114, 16, 171, 33, 109, 24, 232, 103, 148, 227, 218, 219, 134, 125, 4, 229, 130, 178, 220,
    55, 91, 218, 74, 21, 224, 101, 199, 92, 107, 185, 115, 250, 166, 207, 148, 238, 118, 232, 164,
    231, 78, 125, 193, 163, 250, 26, 143, 70, 68, 110, 245, 127, 233, 81, 9, 201, 141, 125, 160,
    199, 158, 248, 203, 230, 168, 230, 171, 147, 191, 134, 177, 217, 171, 46, 250, 153, 135, 16,
    90, 11, 255, 214, 75, 226, 151, 83, 154, 7, 65, 133, 174, 207, 64, 84, 207, 69, 148, 84, 195,
    242, 48, 142, 211, 179, 242, 72, 221, 172, 161, 16, 40, 244, 97, 58, 34, 39, 162, 173, 65, 139,
    196, 93, 34, 74, 104, 110, 204, 46, 145, 122, 250, 45, 127, 201, 218, 217, 33, 49, 85, 112,
    220, 131, 97, 78, 7, 148, 47, 142, 157, 67, 247, 105, 240, 50, 10, 116, 21, 218, 67, 113, 19,
    21, 8, 201, 189, 81, 172, 179, 60, 18, 29, 45, 215, 172, 139, 60, 134, 252, 53, 225, 41, 154,
    35, 19, 216, 241, 224, 84, 139, 206, 50, 46, 175, 240, 224, 60, 55, 42, 130, 229, 92, 88, 211,
    42, 138, 107, 90, 230, 185, 9, 122, 187, 71, 113, 244, 62, 245, 35, 190, 224, 103, 129, 102,
    243, 173, 225, 206, 71, 70, 65, 96, 2, 112, 233, 237, 232, 49, 46, 69, 104, 169, 13, 8, 95,
    239, 113, 8, 198, 134, 112, 84, 187, 212, 161, 2, 232, 165, 188, 129, 117, 101, 159, 225, 49,
    170, 201, 160, 51, 3, 77, 151, 234, 24, 117, 104, 35, 23, 8, 151, 194, 208, 45, 166, 73, 176,
    9, 9, 41, 89, 3, 41, 225, 105, 130, 133, 73, 193, 85, 148, 197, 72, 25, 19, 140, 27, 207, 169,
    188, 220, 58, 85, 158, 171, 140, 138, 48, 35, 122, 94, 83, 99, 75, 129, 230, 71, 176, 176, 5,
    118, 84, 179, 30, 82, 144, 45, 135, 231, 109, 228, 36, 74, 95, 140, 148, 143, 194, 33, 37, 10,
    28, 131, 201, 84, 112, 237, 242, 254, 84, 112, 237, 10, 176, 25, 34, 140, 139, 12, 108, 53, 0,
    172, 241, 54, 15, 58, 130, 0, 35, 148, 160, 69, 88, 132, 139, 100, 101, 39, 237, 33, 116, 59,
    31, 48, 21, 41, 100, 71, 184, 142, 46, 114, 69, 107, 1, 183, 77, 128, 6, 80, 119, 5, 150, 74,
    140, 93, 129, 96, 228, 32, 243, 73, 37, 147, 76, 12, 223, 22, 34, 176, 124, 132, 204, 1, 121,
    212, 160, 196, 79, 41, 5, 79, 36, 176, 182, 45, 68, 154, 136, 83, 172, 194, 28, 91, 198, 35,
    144, 206, 5, 102, 8, 16, 24, 90, 128, 228, 164, 2, 107, 129, 104, 240, 45, 72, 107, 140, 187,
    53, 144, 53, 253, 121, 180, 211, 180, 197, 114, 241, 207, 176, 90, 30, 118, 2, 77, 10, 108,
    110, 61, 154, 75, 235, 66, 68, 212, 70, 16, 220, 14, 178, 160, 53, 6, 137, 100, 80, 141, 32,
    85, 181, 32, 10, 17, 109, 18, 161, 62, 1, 177, 18, 25, 114, 114, 62, 67, 129, 48, 39, 75, 194,
    167, 113, 160, 29, 82, 240, 196, 76, 130, 141, 106, 131, 19, 20, 106, 176, 93, 151, 109, 168,
    26, 210, 51, 34, 171, 26, 129, 70, 154, 6, 98, 170, 44, 13, 224, 139, 220, 153, 153, 44, 110,
    204, 138, 166, 136, 74, 116, 72, 33, 52, 98, 80, 186, 56, 165, 13, 40, 119, 53, 82, 23, 208,
    147, 50, 123, 53, 185, 125, 50, 137, 182, 22, 214, 24, 72, 12, 16, 144, 49, 192, 149, 124, 24,
    162, 46, 82, 140, 177, 117, 198, 230, 166, 35, 85, 139, 164, 168, 132, 13, 232, 128, 159, 3, 0,
    239, 36, 162, 217, 89, 6, 122, 102, 45, 101, 161, 4, 183, 32, 26, 100, 215, 98, 32, 209, 128,
    194, 221, 201, 34, 73, 17, 39, 51, 193, 165, 35, 216, 49, 65, 61, 70, 16, 68, 200, 64, 55, 243,
    34, 104, 163, 165, 57, 148, 74, 227, 195, 11, 48, 9, 101, 120, 80, 31, 178, 2, 118, 49, 50,
    183, 51, 201, 8, 95, 154, 101, 92, 75, 205, 50, 141, 201, 112, 202, 38, 87, 90, 161, 12, 55,
    224, 111, 117, 158, 127, 152, 136, 91, 107, 175, 215, 136, 167, 145, 122, 77, 139, 74, 101, 95,
    58, 207, 148, 166, 193, 170, 218, 211, 10, 155, 104, 41, 8, 72, 163, 3, 67, 131, 24, 18, 240,
    73, 213, 43, 118, 234, 44, 18, 166, 189, 34, 63, 194, 205, 168, 45, 84, 220, 154, 206, 80, 103,
    208, 104, 35, 4, 13, 83, 8, 20, 71, 151, 125, 204, 97, 78, 66, 106, 92, 224, 122, 84, 168, 131,
    157, 230, 11, 130, 64, 138, 52, 49, 12, 179, 116, 151, 240, 45, 10, 226, 41, 249, 98, 25, 131,
    137, 64, 126, 17, 95, 32, 178, 34, 94, 220, 186, 90, 163, 65, 22, 76, 19, 11, 225, 135, 187,
    98, 38, 170, 99, 134, 2, 113, 66, 79, 3, 42, 135, 54, 210, 52, 128, 29, 212, 215, 208, 200, 40,
    14, 187, 58, 78, 168, 243, 89, 233, 11, 98, 174, 206, 221, 93, 74, 83, 204, 178, 210, 18, 93,
    235, 52, 204, 181, 41, 51, 166, 45, 181, 41, 243, 99, 154, 13, 52, 195, 219, 92, 174, 201, 40,
    180, 23, 85, 153, 200, 129, 202, 34, 161, 24, 237, 175, 13, 144, 8, 5, 223, 226, 106, 164, 28,
    6, 28, 165, 9, 222, 96, 104, 195, 138, 26, 147, 215, 84, 43, 81, 102, 42, 211, 133, 244, 19,
    229, 21, 244, 180, 26, 184, 145, 1, 204, 114, 179, 180, 212, 165, 185, 180, 150, 104, 224, 232,
    174, 10, 178, 123, 75, 98, 135, 165, 164, 8, 152, 186, 128, 72, 208, 196, 3, 49, 110, 223, 39,
    239, 213, 108, 80, 12, 46, 128, 205, 103, 133, 220, 221, 37, 228, 116, 246, 86, 201, 253, 86,
    201, 245, 253, 148, 92, 239, 43, 185, 158, 148, 124, 95, 200, 195, 61, 133, 252, 80, 199, 227,
    23, 117, 188, 219, 23, 242, 176, 39, 228, 234, 14, 33, 215, 251, 66, 174, 110, 9, 121, 230,
    224, 3, 165, 124, 79, 201, 213, 190, 146, 187, 157, 146, 99, 248, 137, 26, 198, 29, 74, 110,
    239, 161, 228, 135, 66, 238, 63, 35, 228, 228, 251, 64, 201, 253, 215, 41, 249, 255, 32, 228,
    225, 147, 66, 110, 14, 132, 60, 60, 68, 200, 233, 126, 222, 151, 119, 204, 52, 95, 165, 113,
    96, 233, 58, 191, 151, 0, 29, 220, 241, 211, 254, 75, 202, 10, 47, 6, 22, 243, 225, 214, 21,
    249, 52, 210, 159, 27, 239, 110, 202, 107, 104, 7, 180, 69, 81, 190, 249, 237, 81, 33, 106, 92,
    18, 70, 141, 46, 115, 194, 225, 165, 48, 11, 48, 129, 21, 70, 45, 16, 189, 199, 141, 33, 127,
    162, 20, 55, 127, 216, 174, 69, 155, 78, 30, 58, 113, 43, 219, 89, 132, 32, 30, 228, 70, 255,
    15, 240, 228, 95, 180, 105, 237, 77,
];

pub static FAILMARKER: &[u8] = &[
    120, 156, 237, 150, 109, 111, 219, 54, 16, 128, 191, 247, 87, 112, 2, 6, 180, 128, 68, 145,
    119, 124, 117, 226, 22, 168, 210, 21, 3, 220, 174, 192, 210, 21, 203, 55, 207, 86, 108, 173,
    182, 100, 200, 170, 157, 254, 251, 158, 108, 82, 142, 179, 12, 1, 186, 126, 156, 13, 131, 124,
    164, 123, 229, 221, 49, 185, 124, 117, 183, 94, 177, 93, 217, 110, 171, 166, 30, 39, 146, 139,
    132, 149, 245, 172, 153, 87, 245, 98, 156, 124, 188, 254, 37, 115, 9, 219, 118, 211, 122, 62,
    93, 53, 117, 57, 78, 234, 38, 121, 245, 242, 217, 229, 79, 87, 191, 21, 215, 127, 126, 120,
    195, 182, 187, 5, 251, 240, 241, 245, 228, 215, 130, 37, 89, 158, 127, 194, 34, 207, 175, 174,
    175, 216, 239, 127, 188, 101, 146, 203, 60, 127, 243, 62, 97, 201, 178, 235, 54, 163, 60, 223,
    239, 247, 124, 143, 188, 105, 23, 249, 219, 118, 186, 89, 86, 179, 109, 78, 130, 121, 47, 72,
    74, 57, 25, 147, 146, 207, 187, 121, 66, 46, 122, 203, 251, 106, 222, 45, 41, 44, 33, 126, 78,
    216, 178, 172, 22, 203, 46, 210, 174, 42, 247, 175, 155, 187, 113, 34, 152, 96, 202, 1, 211,
    130, 98, 191, 151, 137, 76, 24, 229, 86, 111, 199, 143, 120, 7, 33, 68, 239, 45, 136, 140, 238,
    86, 85, 253, 249, 49, 65, 233, 189, 207, 15, 111, 15, 162, 163, 237, 102, 58, 163, 83, 216,
    180, 229, 182, 108, 119, 101, 212, 39, 168, 110, 207, 244, 15, 79, 248, 172, 89, 231, 253, 249,
    125, 93, 145, 210, 109, 181, 90, 101, 237, 151, 85, 57, 42, 119, 101, 221, 204, 231, 23, 179,
    85, 181, 57, 127, 178, 237, 218, 230, 115, 153, 145, 195, 242, 239, 166, 170, 71, 109, 243,
    165, 30, 158, 174, 171, 174, 108, 87, 21, 45, 35, 184, 160, 35, 98, 244, 185, 92, 176, 174,
    157, 214, 219, 219, 166, 93, 143, 147, 245, 180, 107, 171, 187, 231, 84, 70, 7, 144, 102, 180,
    74, 47, 92, 218, 175, 210, 67, 191, 90, 165, 125, 154, 33, 29, 179, 54, 244, 192, 59, 46, 140,
    127, 17, 140, 29, 13, 158, 246, 255, 234, 64, 112, 229, 188, 213, 152, 210, 198, 40, 69, 155,
    172, 223, 145, 147, 254, 137, 71, 0, 153, 2, 58, 146, 74, 149, 225, 90, 0, 222, 119, 49, 152,
    222, 76, 187, 37, 155, 143, 147, 119, 96, 29, 151, 168, 82, 41, 129, 107, 175, 138, 129, 133,
    230, 66, 107, 6, 22, 40, 5, 76, 41, 92, 143, 132, 70, 113, 101, 85, 192, 137, 163, 98, 123, 27,
    168, 176, 200, 141, 118, 81, 212, 88, 174, 209, 14, 134, 34, 30, 253, 76, 34, 162, 231, 94, 98,
    17, 81, 89, 174, 52, 176, 96, 73, 106, 228, 218, 34, 11, 110, 2, 78, 98, 16, 129, 139, 24, 99,
    20, 31, 114, 8, 214, 6, 62, 58, 155, 60, 200, 249, 230, 172, 79, 70, 237, 226, 175, 231, 160,
    168, 66, 100, 16, 95, 92, 36, 249, 131, 170, 228, 63, 172, 76, 194, 112, 9, 58, 237, 179, 19,
    202, 254, 95, 167, 239, 172, 147, 213, 255, 161, 80, 146, 170, 225, 156, 75, 5, 141, 168, 148,
    2, 160, 204, 164, 233, 247, 138, 128, 230, 24, 20, 55, 94, 166, 153, 114, 220, 42, 227, 158,
    40, 146, 49, 220, 32, 164, 202, 146, 89, 89, 156, 16, 105, 252, 37, 21, 133, 142, 88, 244, 76,
    231, 34, 61, 49, 112, 239, 49, 242, 4, 144, 86, 45, 35, 23, 128, 192, 149, 194, 147, 60, 10,
    238, 36, 158, 236, 13, 220, 187, 155, 12, 72, 199, 78, 53, 31, 188, 63, 192, 131, 240, 13, 197,
    218, 223, 73, 46, 69, 112, 28, 133, 155, 196, 96, 2, 23, 49, 216, 192, 44, 234, 35, 120, 170,
    185, 57, 49, 74, 142, 210, 222, 115, 71, 23, 28, 226, 189, 104, 206, 57, 200, 23, 3, 71, 123,
    33, 217, 193, 95, 56, 140, 33, 62, 52, 28, 141, 253, 39, 75, 242, 75, 103, 23, 211, 121, 128,
    71, 233, 71, 90, 71, 2, 245, 237, 241, 247, 253, 67, 238, 5, 24, 175, 169, 121, 232, 27, 33,
    147, 148, 152, 67, 186, 127, 5, 69, 34, 244, 19, 45, 227, 104, 162, 124, 170, 61, 253, 53, 80,
    5, 106, 195, 193, 154, 128, 76, 81, 227, 11, 37, 105, 0, 20, 119, 224, 79, 236, 104, 128, 164,
    46, 34, 131, 6, 14, 66, 178, 168, 142, 194, 114, 111, 232, 76, 143, 198, 3, 22, 32, 105, 226,
    133, 26, 94, 75, 131, 52, 95, 126, 80, 143, 28, 205, 15, 28, 220, 71, 253, 16, 221, 89, 232,
    55, 49, 19, 186, 3, 188, 132, 2, 21, 93, 13, 198, 4, 100, 232, 60, 93, 13, 52, 250, 64, 163,
    142, 254, 196, 193, 85, 100, 160, 209, 215, 158, 50, 9, 234, 224, 52, 141, 165, 139, 190, 2,
    82, 243, 80, 83, 73, 53, 188, 150, 180, 122, 103, 7, 245, 200, 67, 38, 145, 131, 251, 168, 31,
    162, 59, 11, 253, 209, 94, 161, 43, 225, 248, 123, 162, 87, 6, 56, 108, 46, 251, 255, 116, 94,
    62, 251, 6, 192, 77, 66, 40,
];

pub static LOADSESSION: &[u8] = &[
    120, 156, 237, 87, 219, 142, 219, 54, 16, 125, 207, 87, 176, 4, 10, 100, 1, 139, 226, 240, 38,
    210, 187, 78, 208, 104, 147, 160, 128, 219, 6, 232, 166, 69, 251, 166, 72, 90, 91, 141, 44, 25,
    180, 98, 59, 127, 223, 145, 44, 105, 237, 174, 187, 105, 218, 135, 190, 216, 134, 33, 30, 106,
    56, 115, 230, 10, 250, 230, 229, 126, 85, 146, 109, 238, 55, 69, 93, 205, 40, 48, 78, 73, 94,
    165, 117, 86, 84, 139, 25, 125, 127, 247, 38, 176, 148, 108, 154, 164, 202, 146, 178, 174, 242,
    25, 173, 106, 250, 242, 197, 179, 155, 111, 110, 127, 138, 239, 126, 123, 247, 154, 108, 182,
    11, 242, 238, 253, 171, 249, 247, 49, 161, 65, 24, 254, 42, 227, 48, 188, 189, 187, 37, 63,
    255, 242, 150, 0, 131, 48, 124, 253, 35, 37, 116, 217, 52, 235, 105, 24, 238, 118, 59, 182,
    147, 172, 246, 139, 240, 173, 79, 214, 203, 34, 221, 132, 40, 24, 182, 130, 120, 40, 68, 101,
    0, 44, 107, 50, 138, 38, 90, 205, 187, 34, 107, 150, 72, 139, 243, 111, 41, 89, 230, 197, 98,
    217, 12, 104, 91, 228, 187, 87, 245, 126, 70, 57, 225, 68, 242, 238, 71, 143, 61, 1, 74, 208,
    183, 106, 51, 59, 99, 93, 112, 206, 91, 107, 189, 200, 116, 95, 22, 213, 199, 115, 130, 224,
    156, 11, 187, 183, 157, 232, 116, 179, 78, 82, 140, 194, 218, 231, 155, 220, 111, 243, 225, 60,
    130, 226, 254, 228, 124, 183, 195, 210, 122, 21, 182, 241, 251, 92, 226, 161, 251, 162, 44, 3,
    255, 169, 204, 167, 249, 54, 175, 234, 44, 187, 78, 203, 98, 125, 186, 179, 105, 124, 253, 49,
    15, 208, 96, 158, 38, 235, 169, 175, 63, 85, 39, 155, 127, 212, 69, 117, 186, 187, 42, 154,
    220, 151, 5, 62, 166, 192, 244, 53, 70, 142, 224, 231, 102, 65, 138, 108, 70, 191, 243, 205,
    135, 58, 241, 25, 198, 162, 241, 73, 181, 185, 175, 253, 106, 70, 87, 73, 227, 139, 253, 115,
    152, 112, 252, 194, 36, 16, 2, 152, 227, 114, 18, 128, 52, 184, 16, 87, 189, 146, 78, 145, 207,
    211, 134, 96, 152, 123, 33, 74, 62, 99, 112, 15, 114, 116, 200, 143, 112, 142, 25, 43, 31, 82,
    52, 110, 28, 185, 62, 173, 176, 128, 174, 105, 120, 164, 123, 113, 142, 21, 3, 224, 58, 58,
    112, 235, 215, 129, 194, 85, 4, 200, 80, 106, 6, 82, 153, 99, 134, 127, 175, 169, 247, 111,
    112, 239, 140, 119, 227, 249, 117, 210, 44, 9, 6, 236, 7, 97, 28, 179, 82, 77, 180, 100, 160,
    117, 60, 64, 101, 153, 144, 154, 8, 163, 17, 186, 137, 82, 76, 40, 64, 200, 153, 19, 61, 154,
    75, 203, 172, 29, 80, 44, 37, 115, 70, 142, 146, 14, 145, 29, 213, 28, 208, 193, 198, 188, 71,
    192, 21, 115, 54, 138, 71, 136, 79, 30, 145, 94, 15, 128, 108, 201, 147, 222, 72, 15, 231, 61,
    131, 30, 198, 3, 191, 65, 122, 160, 63, 40, 123, 192, 157, 173, 249, 169, 183, 191, 159, 230,
    203, 47, 62, 60, 183, 168, 75, 232, 9, 24, 115, 117, 146, 186, 46, 104, 225, 226, 107, 178, 0,
    130, 69, 82, 76, 180, 99, 58, 138, 206, 103, 33, 45, 124, 90, 230, 36, 197, 114, 139, 36, 198,
    77, 83, 146, 182, 229, 166, 13, 147, 206, 80, 226, 103, 212, 48, 173, 213, 99, 158, 174, 229,
    24, 77, 240, 200, 127, 230, 41, 91, 130, 240, 127, 243, 60, 5, 95, 221, 40, 88, 118, 90, 59,
    184, 244, 201, 165, 79, 46, 125, 242, 68, 159, 128, 192, 186, 211, 242, 210, 39, 151, 62, 185,
    244, 137, 230, 218, 152, 190, 79, 14, 235, 64, 96, 133, 41, 25, 181, 119, 68, 141, 25, 182,
    255, 168, 81, 176, 132, 20, 128, 61, 168, 226, 44, 178, 92, 11, 133, 129, 192, 132, 97, 29,
    226, 213, 16, 156, 122, 186, 107, 192, 98, 61, 233, 46, 199, 28, 204, 124, 128, 138, 51, 165,
    92, 60, 64, 173, 16, 26, 130, 218, 152, 140, 208, 64, 91, 172, 216, 26, 188, 101, 42, 122, 56,
    111, 61, 224, 74, 247, 48, 22, 152, 7, 163, 197, 40, 140, 5, 203, 35, 51, 234, 26, 241, 193,
    212, 124, 196, 200, 68, 157, 185, 206, 30, 46, 225, 93, 42, 52, 230, 154, 99, 43, 68, 209, 213,
    112, 55, 239, 174, 199, 83, 208, 76, 154, 245, 254, 95, 214, 145, 197, 145, 229, 68, 30, 0, 78,
    48, 102, 140, 112, 22, 175, 193, 130, 1, 111, 93, 100, 218, 130, 197, 119, 102, 226, 90, 130,
    26, 205, 35, 97, 35, 190, 52, 148, 36, 96, 86, 219, 73, 38, 177, 251, 49, 70, 3, 6, 156, 39,
    160, 230, 194, 98, 142, 112, 76, 62, 198, 2, 3, 143, 147, 9, 84, 59, 14, 186, 73, 200, 85, 244,
    240, 30, 103, 13, 40, 121, 132, 255, 162, 255, 128, 207, 204, 133, 199, 193, 123, 58, 166, 152,
    98, 253, 165, 144, 142, 160, 91, 220, 180, 255, 247, 94, 60, 251, 19, 159, 224, 129, 159,
];

pub static MERGE: &[u8] = &[
    120, 156, 237, 153, 91, 111, 28, 199, 17, 133, 223, 253, 43, 38, 11, 4, 176, 129, 225, 108,
    223, 47, 180, 104, 35, 30, 59, 70, 128, 113, 98, 32, 118, 130, 232, 141, 18, 87, 212, 198, 212,
    174, 176, 92, 75, 114, 126, 125, 190, 211, 75, 82, 28, 138, 146, 5, 67, 126, 49, 36, 137, 88,
    158, 157, 190, 84, 159, 170, 58, 85, 61, 122, 240, 229, 171, 103, 23, 221, 139, 213, 238, 114,
    189, 221, 156, 44, 236, 96, 22, 221, 106, 243, 120, 123, 182, 222, 156, 159, 44, 126, 252, 225,
    175, 71, 101, 209, 93, 238, 79, 55, 103, 167, 23, 219, 205, 234, 100, 177, 217, 46, 190, 252,
    226, 147, 7, 127, 250, 250, 31, 227, 15, 255, 249, 254, 155, 238, 242, 197, 121, 247, 253, 143,
    95, 77, 127, 27, 187, 197, 209, 114, 249, 111, 63, 46, 151, 95, 255, 240, 117, 247, 207, 127,
    125, 219, 217, 193, 46, 151, 223, 252, 125, 209, 45, 158, 238, 247, 207, 143, 151, 203, 151,
    47, 95, 14, 47, 253, 176, 221, 157, 47, 191, 221, 157, 62, 127, 186, 126, 124, 185, 100, 224,
    82, 3, 153, 180, 100, 49, 107, 135, 179, 253, 217, 130, 45, 180, 242, 203, 245, 217, 254, 41,
    102, 25, 243, 231, 69, 247, 116, 181, 62, 127, 186, 191, 70, 47, 214, 171, 151, 95, 109, 95,
    157, 44, 76, 103, 58, 95, 249, 183, 184, 125, 14, 187, 232, 56, 217, 230, 242, 228, 158, 189,
    157, 49, 70, 123, 93, 13, 57, 126, 117, 177, 222, 252, 116, 223, 64, 91, 107, 93, 182, 167,
    109, 232, 241, 229, 243, 211, 199, 112, 240, 124, 183, 186, 92, 237, 94, 172, 174, 231, 3, 214,
    79, 102, 243, 219, 55, 195, 227, 237, 179, 165, 216, 251, 229, 130, 73, 79, 214, 23, 23, 71,
    187, 159, 47, 86, 199, 171, 23, 171, 205, 246, 236, 236, 243, 199, 23, 235, 231, 243, 111, 46,
    247, 187, 237, 79, 171, 35, 54, 92, 253, 119, 187, 222, 28, 239, 182, 63, 111, 110, 190, 125,
    182, 222, 175, 118, 23, 107, 62, 142, 221, 231, 16, 212, 241, 231, 193, 121, 183, 223, 157,
    110, 46, 159, 108, 119, 207, 78, 22, 207, 78, 247, 187, 245, 171, 79, 205, 96, 125, 41, 165,
    246, 70, 127, 111, 129, 207, 174, 102, 93, 205, 92, 159, 157, 44, 254, 178, 219, 63, 218, 158,
    238, 206, 160, 235, 205, 133, 108, 91, 193, 246, 71, 46, 66, 168, 137, 253, 145, 181, 101, 8,
    222, 223, 94, 168, 45, 182, 91, 61, 222, 119, 248, 226, 106, 224, 162, 251, 5, 31, 28, 198, 46,
    174, 157, 232, 114, 26, 98, 168, 175, 253, 120, 243, 197, 45, 134, 142, 55, 68, 217, 231, 139,
    229, 157, 245, 239, 59, 230, 181, 117, 70, 59, 154, 164, 95, 130, 103, 205, 112, 215, 186, 119,
    16, 85, 171, 115, 177, 106, 9, 23, 44, 36, 29, 221, 252, 118, 243, 204, 165, 56, 164, 24, 122,
    107, 253, 224, 77, 186, 111, 241, 182, 193, 243, 211, 253, 211, 14, 70, 191, 179, 37, 13, 197,
    212, 222, 135, 193, 213, 52, 57, 3, 13, 137, 117, 76, 6, 215, 209, 153, 58, 24, 23, 122, 71,
    164, 103, 31, 59, 103, 226, 80, 178, 112, 28, 114, 201, 96, 203, 57, 10, 56, 13, 62, 184, 41,
    186, 193, 86, 215, 59, 31, 153, 86, 198, 144, 135, 28, 83, 131, 177, 248, 46, 248, 33, 27, 38,
    123, 39, 174, 5, 109, 96, 174, 203, 152, 159, 39, 155, 25, 148, 121, 58, 20, 151, 71, 144, 241,
    182, 183, 117, 240, 213, 178, 207, 96, 139, 235, 217, 213, 147, 61, 46, 12, 201, 150, 222, 6,
    108, 240, 147, 13, 110, 72, 53, 67, 199, 52, 63, 205, 195, 185, 179, 118, 231, 143, 62, 117,
    193, 247, 87, 63, 159, 189, 225, 184, 123, 216, 169, 28, 59, 247, 222, 15, 41, 199, 81, 40,
    153, 212, 99, 190, 143, 181, 179, 21, 218, 93, 236, 61, 81, 148, 124, 135, 31, 160, 166, 244,
    222, 192, 68, 197, 42, 24, 74, 169, 63, 242, 67, 13, 28, 39, 96, 172, 197, 103, 124, 36, 219,
    89, 206, 238, 33, 234, 40, 226, 194, 212, 233, 8, 38, 39, 61, 173, 201, 78, 80, 80, 107, 234,
    89, 207, 185, 17, 102, 249, 232, 173, 25, 178, 99, 34, 6, 185, 220, 195, 142, 203, 177, 179,
    156, 220, 193, 111, 24, 2, 91, 250, 2, 73, 16, 232, 10, 244, 212, 209, 227, 186, 114, 32, 63,
    87, 216, 38, 50, 60, 158, 13, 102, 40, 120, 14, 79, 21, 11, 17, 140, 170, 165, 142, 115, 8,
    223, 24, 164, 120, 114, 150, 56, 242, 119, 113, 139, 11, 231, 25, 143, 99, 130, 73, 157, 195,
    23, 222, 41, 14, 240, 94, 100, 60, 159, 162, 217, 36, 152, 43, 227, 28, 118, 51, 90, 231, 232,
    225, 221, 136, 188, 229, 221, 153, 219, 199, 121, 72, 204, 195, 101, 22, 74, 211, 60, 206, 198,
    187, 81, 56, 143, 209, 121, 4, 79, 119, 2, 124, 124, 51, 1, 238, 38, 200, 44, 129, 222, 136,
    200, 123, 66, 238, 193, 242, 252, 131, 74, 0, 97, 105, 32, 204, 114, 220, 16, 237, 71, 9, 248,
    40, 1, 127, 16, 9, 248, 168, 0, 239, 167, 0, 30, 126, 34, 126, 182, 193, 14, 177, 198, 143, 10,
    240, 81, 1, 254, 32, 10, 240, 199, 109, 2, 222, 154, 241, 92, 114, 141, 113, 172, 37, 255, 249,
    188, 58, 178, 208, 112, 27, 92, 15, 64, 8, 76, 72, 62, 225, 16, 163, 175, 98, 136, 196, 207,
    219, 146, 255, 157, 2, 96, 35, 97, 130, 171, 20, 75, 181, 140, 150, 123, 18, 71, 17, 204, 184,
    213, 66, 150, 229, 142, 1, 57, 201, 8, 114, 49, 170, 245, 144, 1, 249, 150, 88, 255, 122, 30,
    202, 1, 135, 159, 119, 228, 225, 125, 218, 120, 96, 235, 253, 78, 230, 73, 42, 223, 183, 60,
    205, 101, 74, 248, 221, 19, 20, 120, 176, 218, 58, 37, 146, 38, 31, 28, 87, 76, 152, 52, 186,
    40, 128, 176, 60, 249, 233, 206, 228, 223, 122, 132, 187, 22, 25, 210, 150, 69, 19, 25, 106,
    242, 148, 88, 219, 167, 94, 123, 197, 128, 129, 200, 139, 158, 34, 36, 92, 16, 49, 65, 254, 69,
    203, 51, 150, 86, 225, 217, 236, 15, 100, 82, 166, 85, 204, 164, 17, 174, 116, 62, 77, 17, 191,
    251, 200, 30, 184, 52, 55, 88, 244, 52, 145, 94, 8, 147, 205, 133, 112, 32, 5, 149, 37, 88, 52,
    159, 252, 161, 44, 34, 205, 51, 158, 80, 246, 166, 48, 69, 37, 56, 215, 90, 66, 176, 152, 56,
    197, 132, 95, 120, 138, 158, 38, 210, 43, 71, 244, 7, 131, 92, 29, 178, 84, 119, 62, 249, 67,
    89, 68, 136, 144, 109, 146, 130, 234, 85, 227, 34, 153, 102, 81, 132, 224, 177, 207, 15, 18,
    100, 71, 81, 176, 5, 3, 156, 156, 195, 224, 60, 248, 44, 124, 123, 238, 7, 205, 132, 183, 181,
    14, 122, 93, 50, 157, 62, 90, 93, 220, 247, 170, 228, 61, 187, 8, 74, 143, 188, 28, 168, 32,
    111, 191, 70, 188, 229, 157, 14, 183, 144, 88, 154, 38, 17, 69, 17, 110, 248, 46, 228, 20, 240,
    10, 49, 85, 147, 239, 143, 170, 180, 86, 191, 216, 90, 135, 251, 95, 132, 220, 236, 114, 253,
    202, 198, 82, 88, 179, 169, 135, 87, 54, 164, 66, 78, 55, 111, 108, 18, 26, 108, 221, 235, 23,
    54, 65, 213, 49, 191, 201, 53, 102, 244, 42, 114, 193, 253, 38, 209, 185, 95, 162, 93, 50, 229,
    64, 98, 9, 212, 105, 189, 229, 201, 177, 41, 113, 137, 149, 120, 228, 144, 81, 234, 137, 118,
    123, 245, 15, 53, 191, 167, 48, 19, 225, 145, 244, 175, 72, 110, 176, 19, 31, 212, 164, 62, 81,
    150, 194, 53, 80, 212, 215, 72, 90, 94, 13, 181, 73, 85, 250, 53, 62, 76, 189, 39, 232, 170,
    161, 77, 129, 138, 223, 196, 195, 107, 11, 157, 66, 223, 169, 25, 169, 62, 78, 70, 37, 220, 21,
    148, 21, 88, 250, 82, 212, 73, 76, 114, 155, 179, 125, 166, 186, 51, 102, 62, 229, 30, 203,
    222, 203, 69, 55, 22, 248, 22, 187, 125, 148, 162, 83, 155, 41, 209, 172, 221, 42, 24, 45, 12,
    76, 209, 86, 16, 195, 177, 56, 181, 140, 185, 48, 210, 13, 180, 1, 35, 40, 218, 216, 71, 98,
    52, 49, 50, 41, 124, 122, 162, 166, 70, 42, 122, 85, 61, 16, 10, 37, 142, 94, 141, 75, 67, 134,
    94, 65, 77, 1, 188, 7, 4, 184, 54, 148, 171, 213, 42, 161, 218, 209, 39, 189, 193, 236, 245,
    98, 49, 196, 14, 148, 201, 36, 16, 226, 213, 121, 196, 128, 131, 169, 152, 166, 17, 16, 67,
    104, 192, 39, 61, 202, 212, 128, 216, 114, 67, 168, 212, 216, 144, 70, 150, 166, 52, 108, 80,
    45, 219, 169, 211, 200, 66, 62, 178, 36, 244, 6, 140, 38, 127, 82, 214, 72, 82, 87, 40, 154,
    246, 172, 208, 131, 128, 124, 104, 136, 126, 73, 136, 36, 215, 238, 176, 130, 96, 87, 23, 116,
    2, 31, 153, 70, 158, 251, 162, 147, 7, 58, 86, 117, 170, 217, 142, 120, 10, 29, 232, 105, 27,
    163, 135, 21, 44, 130, 191, 195, 34, 66, 9, 198, 162, 218, 79, 58, 49, 167, 35, 247, 40, 115,
    85, 43, 136, 2, 27, 88, 41, 18, 60, 173, 153, 188, 19, 226, 92, 147, 58, 103, 250, 150, 200,
    42, 46, 138, 49, 213, 179, 168, 114, 119, 56, 185, 237, 41, 137, 193, 121, 217, 140, 18, 245,
    148, 108, 107, 98, 227, 33, 183, 216, 39, 161, 68, 109, 160, 207, 166, 10, 26, 157, 149, 134,
    40, 10, 132, 68, 159, 137, 11, 105, 163, 165, 7, 116, 228, 78, 221, 137, 235, 19, 174, 192, 35,
    196, 3, 155, 81, 245, 19, 23, 19, 0, 29, 179, 214, 175, 169, 153, 44, 71, 170, 65, 8, 237, 118,
    129, 141, 73, 189, 99, 18, 11, 85, 211, 212, 214, 118, 42, 42, 54, 180, 89, 234, 137, 9, 105,
    56, 111, 107, 88, 145, 80, 105, 35, 89, 159, 46, 29, 16, 146, 21, 200, 138, 47, 10, 70, 179,
    62, 192, 191, 64, 202, 66, 244, 232, 122, 148, 108, 18, 202, 33, 53, 132, 223, 116, 78, 211,
    182, 150, 223, 116, 180, 152, 100, 126, 129, 214, 172, 194, 11, 63, 164, 17, 187, 81, 92, 108,
    141, 234, 244, 45, 233, 158, 141, 252, 215, 113, 245, 67, 20, 116, 108, 8, 21, 10, 98, 210,
    169, 183, 24, 213, 252, 19, 192, 81, 233, 231, 26, 231, 65, 126, 139, 138, 88, 21, 174, 134,
    40, 86, 211, 44, 179, 126, 237, 34, 245, 250, 191, 12, 54, 219, 205, 255, 86, 187, 237, 123,
    164, 46, 97, 28, 177, 82, 225, 149, 98, 43, 162, 226, 146, 52, 179, 97, 4, 121, 223, 80, 169,
    220, 84, 66, 187, 27, 193, 131, 131, 76, 80, 37, 177, 64, 54, 114, 109, 129, 21, 178, 64, 177,
    128, 231, 162, 34, 195, 106, 94, 36, 16, 65, 62, 53, 30, 8, 82, 237, 144, 90, 52, 35, 201, 234,
    180, 172, 109, 113, 239, 66, 29, 65, 244, 10, 66, 22, 162, 97, 74, 81, 201, 45, 33, 4, 43, 68,
    94, 246, 234, 108, 113, 158, 244, 149, 59, 135, 24, 38, 244, 152, 23, 201, 120, 144, 203, 32,
    74, 18, 173, 49, 8, 17, 154, 152, 160, 102, 147, 85, 240, 239, 216, 92, 210, 214, 204, 54, 200,
    37, 20, 72, 182, 11, 200, 77, 80, 211, 87, 100, 24, 154, 167, 129, 25, 9, 3, 213, 202, 64, 165,
    139, 237, 91, 151, 109, 219, 117, 153, 43, 22, 136, 56, 154, 102, 252, 253, 30, 14, 130, 83,
    180, 135, 19, 103, 236, 82, 203, 233, 91, 100, 34, 159, 29, 249, 149, 33, 5, 102, 45, 199, 81,
    72, 18, 153, 60, 43, 46, 78, 180, 132, 213, 53, 100, 199, 18, 213, 63, 180, 156, 48, 165, 163,
    32, 52, 185, 212, 71, 237, 138, 116, 168, 169, 89, 138, 121, 228, 190, 144, 209, 61, 177, 150,
    115, 71, 227, 91, 41, 156, 18, 46, 87, 59, 90, 186, 204, 245, 141, 32, 79, 142, 226, 34, 165,
    131, 133, 166, 130, 163, 156, 203, 141, 28, 196, 165, 165, 83, 26, 73, 178, 172, 18, 167, 227,
    25, 154, 45, 158, 253, 116, 251, 48, 15, 191, 75, 245, 32, 102, 65, 158, 30, 165, 22, 181, 200,
    57, 220, 25, 117, 182, 104, 154, 227, 44, 178, 151, 205, 129, 115, 46, 3, 105, 202, 241, 176,
    160, 147, 118, 140, 69, 74, 213, 188, 223, 76, 246, 237, 182, 207, 146, 37, 112, 212, 112, 45,
    241, 166, 122, 209, 224, 85, 25, 178, 110, 134, 93, 193, 136, 94, 173, 190, 77, 157, 250, 103,
    211, 236, 114, 52, 219, 89, 210, 16, 132, 74, 174, 35, 185, 45, 77, 66, 86, 24, 71, 18, 231,
    54, 78, 149, 45, 43, 196, 170, 214, 32, 61, 166, 217, 97, 126, 143, 64, 168, 77, 170, 90, 21,
    202, 84, 112, 238, 240, 85, 116, 193, 83, 228, 130, 72, 159, 91, 40, 165, 64, 169, 148, 53,
    186, 55, 38, 85, 200, 172, 139, 190, 160, 113, 130, 244, 73, 12, 46, 170, 164, 10, 6, 205, 139,
    122, 162, 55, 2, 220, 36, 245, 102, 32, 54, 72, 100, 77, 108, 217, 114, 176, 45, 54, 85, 60,
    88, 189, 152, 182, 222, 143, 66, 202, 93, 232, 167, 96, 130, 18, 226, 10, 82, 5, 107, 243, 178,
    66, 69, 175, 81, 180, 135, 104, 35, 142, 2, 49, 44, 99, 60, 162, 233, 21, 11, 174, 217, 166,
    202, 139, 8, 38, 93, 109, 141, 66, 156, 160, 67, 54, 125, 51, 149, 228, 118, 130, 198, 30, 14,
    98, 8, 114, 47, 17, 207, 205, 122, 107, 139, 96, 196, 5, 24, 161, 210, 207, 74, 14, 245, 170,
    248, 197, 182, 117, 35, 85, 226, 250, 37, 145, 222, 201, 116, 85, 53, 191, 197, 12, 81, 53, 85,
    149, 152, 112, 240, 163, 29, 171, 94, 20, 53, 31, 23, 127, 117, 174, 86, 119, 156, 141, 58, 87,
    196, 212, 171, 114, 200, 21, 53, 192, 149, 66, 3, 89, 160, 201, 51, 42, 101, 78, 95, 118, 85,
    205, 87, 236, 155, 52, 165, 105, 230, 186, 15, 19, 27, 111, 244, 133, 179, 47, 110, 64, 251,
    229, 129, 254, 243, 250, 139, 79, 254, 15, 55, 22, 197, 98,
];

pub static OPEN: &[u8] = &[
    120, 156, 125, 149, 219, 110, 219, 70, 16, 134, 95, 101, 203, 162, 119, 228, 114, 103, 246, 44,
    91, 14, 16, 39, 13, 10, 244, 16, 32, 78, 139, 246, 78, 165, 104, 139, 13, 77, 10, 146, 98, 185,
    125, 250, 254, 67, 249, 124, 200, 141, 197, 221, 157, 157, 253, 231, 155, 131, 143, 223, 92,
    95, 246, 234, 170, 221, 108, 187, 113, 152, 23, 164, 77, 161, 218, 161, 25, 151, 221, 112, 49,
    47, 62, 159, 253, 88, 165, 66, 109, 119, 139, 97, 185, 232, 199, 161, 157, 23, 195, 88, 188,
    57, 57, 254, 238, 221, 111, 167, 103, 127, 126, 124, 175, 182, 87, 23, 234, 227, 231, 183, 63,
    255, 116, 170, 138, 170, 174, 255, 176, 167, 117, 253, 238, 236, 157, 250, 244, 251, 7, 69,
    154, 234, 250, 253, 175, 133, 42, 86, 187, 221, 122, 86, 215, 251, 253, 94, 239, 173, 30, 55,
    23, 245, 135, 205, 98, 189, 234, 154, 109, 13, 195, 90, 12, 113, 169, 134, 51, 34, 189, 220,
    45, 139, 147, 99, 113, 188, 239, 150, 187, 21, 68, 25, 243, 67, 161, 86, 109, 119, 177, 218,
    221, 174, 174, 186, 118, 255, 118, 188, 158, 23, 70, 25, 197, 100, 221, 244, 167, 120, 24, 9,
    21, 10, 177, 13, 219, 249, 11, 207, 179, 49, 70, 158, 187, 49, 153, 93, 247, 221, 240, 229, 37,
    67, 202, 57, 215, 211, 233, 100, 58, 219, 174, 23, 13, 40, 172, 55, 237, 182, 221, 92, 181,
    183, 247, 177, 232, 206, 31, 221, 159, 118, 116, 51, 94, 214, 194, 239, 223, 30, 151, 206, 187,
    190, 175, 54, 95, 251, 118, 214, 94, 181, 195, 184, 92, 30, 53, 125, 183, 126, 188, 179, 221,
    109, 198, 47, 109, 133, 7, 219, 127, 198, 110, 152, 109, 198, 175, 195, 221, 238, 101, 183,
    107, 55, 125, 135, 159, 25, 31, 129, 209, 122, 177, 91, 169, 110, 57, 47, 62, 173, 22, 107,
    104, 193, 215, 47, 20, 131, 215, 158, 75, 159, 146, 246, 198, 245, 166, 172, 200, 69, 77, 236,
    27, 124, 38, 210, 236, 157, 170, 96, 147, 34, 221, 29, 169, 219, 143, 187, 157, 190, 10, 217,
    232, 232, 115, 105, 154, 202, 227, 43, 195, 218, 104, 19, 88, 85, 57, 105, 99, 92, 89, 113,
    208, 20, 34, 238, 178, 215, 198, 167, 18, 87, 52, 225, 102, 134, 7, 57, 39, 239, 117, 246, 174,
    169, 56, 226, 28, 27, 142, 117, 78, 73, 85, 209, 105, 14, 113, 178, 55, 153, 159, 59, 112, 214,
    106, 78, 73, 158, 62, 8, 46, 205, 189, 194, 131, 244, 251, 245, 173, 96, 83, 82, 178, 112, 152,
    26, 209, 153, 185, 164, 160, 163, 201, 10, 111, 150, 226, 47, 7, 149, 116, 226, 92, 186, 164,
    51, 197, 134, 141, 118, 54, 129, 19, 220, 101, 21, 33, 21, 64, 16, 154, 37, 171, 200, 38, 185,
    32, 75, 54, 169, 143, 86, 123, 232, 53, 61, 121, 231, 116, 178, 18, 218, 244, 241, 215, 163,
    220, 206, 190, 63, 55, 141, 163, 124, 116, 159, 232, 97, 28, 254, 107, 55, 227, 81, 81, 159,
    28, 95, 60, 77, 24, 10, 116, 170, 146, 217, 211, 20, 230, 152, 1, 174, 140, 17, 145, 229, 208,
    87, 54, 104, 227, 66, 73, 6, 153, 13, 12, 62, 2, 212, 218, 18, 97, 27, 237, 83, 95, 145, 5,
    185, 232, 5, 88, 96, 109, 65, 197, 72, 10, 0, 137, 162, 78, 66, 22, 100, 44, 103, 108, 220, 68,
    86, 221, 132, 230, 224, 33, 59, 70, 68, 214, 161, 249, 125, 67, 73, 59, 89, 195, 79, 224, 3,
    23, 73, 157, 188, 29, 132, 12, 172, 120, 178, 159, 196, 196, 158, 24, 30, 13, 224, 52, 46, 104,
    11, 81, 128, 159, 156, 74, 89, 32, 151, 76, 200, 184, 83, 34, 35, 224, 204, 35, 191, 38, 55,
    144, 31, 153, 74, 123, 168, 61, 43, 247, 202, 228, 53, 217, 168, 216, 78, 238, 137, 51, 2, 123,
    206, 151, 115, 67, 231, 175, 240, 173, 159, 1, 230, 87, 0, 51, 9, 192, 4, 160, 145, 180, 67,
    193, 217, 27, 69, 25, 81, 179, 145, 138, 53, 154, 41, 136, 94, 31, 209, 29, 49, 76, 165, 150,
    179, 14, 126, 130, 136, 58, 179, 113, 90, 199, 12, 252, 14, 27, 1, 161, 247, 216, 177, 112, 92,
    113, 118, 82, 183, 61, 167, 160, 147, 224, 78, 210, 67, 62, 29, 240, 134, 151, 241, 162, 88,
    159, 224, 181, 79, 241, 126, 131, 174, 123, 72, 23, 218, 31, 208, 69, 209, 63, 192, 11, 225,
    175, 225, 253, 86, 249, 62, 70, 107, 95, 171, 221, 192, 102, 66, 107, 61, 233, 104, 81, 171,
    64, 156, 5, 137, 103, 244, 86, 136, 104, 105, 116, 167, 16, 145, 200, 193, 18, 149, 42, 64, 16,
    75, 130, 192, 202, 67, 160, 212, 43, 235, 20, 184, 113, 136, 83, 218, 13, 165, 201, 164, 8,
    173, 31, 100, 153, 52, 161, 22, 17, 104, 182, 110, 90, 2, 74, 207, 152, 71, 210, 223, 70, 6,
    93, 0, 89, 155, 172, 194, 251, 48, 150, 14, 136, 145, 181, 35, 126, 190, 211, 144, 1, 14, 25,
    55, 42, 103, 171, 169, 188, 181, 124, 180, 234, 9, 243, 208, 128, 171, 105, 136, 209, 40, 121,
    26, 135, 176, 98, 12, 24, 196, 131, 130, 66, 165, 136, 36, 147, 75, 81, 148, 15, 234, 209, 182,
    16, 47, 106, 241, 4, 82, 102, 241, 99, 37, 76, 138, 152, 75, 216, 68, 149, 84, 46, 208, 52,
    178, 238, 24, 121, 217, 47, 253, 52, 154, 80, 110, 58, 129, 32, 178, 43, 55, 241, 30, 221, 174,
    4, 166, 116, 179, 140, 199, 160, 101, 124, 91, 212, 159, 187, 49, 194, 114, 178, 122, 154, 102,
    14, 127, 231, 188, 120, 173, 139, 240, 95, 241, 228, 127, 151, 187, 254, 237,
];

pub static SAVESESSION: &[u8] = &[
    120, 156, 237, 87, 91, 143, 155, 70, 20, 126, 207, 175, 152, 142, 84, 41, 43, 193, 48, 103,
    110, 48, 222, 117, 162, 198, 155, 70, 149, 104, 18, 169, 155, 86, 237, 27, 1, 214, 166, 193,
    96, 1, 177, 157, 127, 223, 195, 117, 77, 215, 221, 54, 237, 67, 95, 108, 203, 242, 124, 195,
    153, 115, 249, 206, 197, 227, 155, 151, 199, 109, 78, 246, 105, 85, 103, 101, 177, 164, 192,
    56, 37, 105, 17, 151, 73, 86, 172, 151, 244, 195, 221, 247, 110, 64, 73, 221, 68, 69, 18, 229,
    101, 145, 46, 105, 81, 210, 151, 47, 158, 221, 124, 115, 251, 110, 117, 247, 235, 251, 215,
    164, 222, 175, 201, 251, 15, 175, 194, 31, 86, 132, 186, 158, 247, 139, 92, 121, 222, 237, 221,
    45, 249, 233, 231, 55, 4, 24, 120, 222, 235, 183, 148, 208, 77, 211, 236, 22, 158, 119, 56, 28,
    216, 65, 178, 178, 90, 123, 111, 170, 104, 183, 201, 226, 218, 67, 65, 175, 21, 196, 67, 30,
    42, 3, 96, 73, 147, 80, 52, 209, 106, 62, 100, 73, 179, 65, 183, 56, 255, 150, 146, 77, 154,
    173, 55, 205, 136, 246, 89, 122, 120, 85, 30, 151, 148, 19, 78, 36, 239, 62, 244, 52, 18, 160,
    4, 99, 43, 234, 229, 25, 235, 130, 115, 222, 90, 27, 68, 22, 199, 60, 43, 62, 157, 19, 4, 107,
    173, 215, 61, 237, 68, 23, 245, 46, 138, 145, 133, 93, 149, 214, 105, 181, 79, 199, 243, 8,
    178, 251, 217, 249, 110, 135, 197, 229, 214, 107, 249, 251, 146, 227, 161, 251, 44, 207, 221,
    234, 115, 158, 46, 210, 125, 90, 148, 73, 114, 29, 231, 217, 110, 190, 83, 55, 85, 249, 41,
    117, 209, 96, 26, 71, 187, 69, 85, 126, 46, 102, 155, 191, 151, 89, 49, 223, 221, 102, 77, 90,
    229, 25, 126, 45, 128, 233, 107, 100, 142, 224, 235, 102, 77, 178, 100, 73, 191, 171, 154, 143,
    101, 84, 37, 200, 69, 83, 69, 69, 125, 95, 86, 219, 37, 221, 70, 77, 149, 29, 159, 131, 195,
    241, 13, 142, 43, 4, 48, 203, 165, 227, 130, 52, 184, 16, 87, 131, 146, 78, 81, 149, 198, 13,
    65, 154, 7, 33, 74, 190, 32, 185, 189, 28, 29, 243, 35, 172, 101, 38, 144, 15, 41, 154, 54, 78,
    66, 95, 20, 88, 64, 215, 212, 59, 209, 189, 62, 231, 21, 3, 224, 218, 239, 125, 27, 214, 174,
    194, 149, 15, 232, 161, 212, 12, 164, 50, 167, 30, 254, 181, 166, 33, 190, 49, 188, 51, 209,
    77, 231, 119, 81, 179, 33, 72, 216, 143, 194, 88, 22, 72, 229, 104, 201, 64, 235, 213, 8, 85,
    192, 132, 212, 68, 24, 141, 208, 58, 74, 49, 161, 0, 33, 103, 86, 12, 40, 148, 1, 11, 130, 17,
    173, 164, 100, 214, 200, 73, 210, 34, 10, 38, 53, 61, 234, 109, 132, 3, 2, 174, 152, 13, 252,
    213, 4, 241, 155, 251, 100, 208, 3, 32, 91, 231, 201, 96, 100, 128, 225, 224, 193, 0, 87, 163,
    127, 163, 244, 232, 254, 168, 236, 1, 119, 182, 194, 121, 180, 191, 205, 243, 85, 173, 63, 62,
    15, 80, 151, 208, 14, 24, 115, 53, 75, 93, 71, 154, 183, 254, 154, 44, 128, 96, 190, 20, 142,
    182, 76, 251, 254, 249, 44, 196, 89, 21, 231, 41, 137, 177, 220, 124, 137, 188, 105, 74, 226,
    182, 220, 180, 97, 210, 26, 74, 170, 37, 53, 76, 107, 245, 216, 79, 219, 250, 232, 59, 120,
    228, 63, 251, 41, 91, 7, 225, 255, 246, 115, 14, 190, 186, 81, 176, 236, 180, 182, 112, 233,
    147, 75, 159, 92, 250, 228, 137, 62, 1, 129, 117, 167, 229, 165, 79, 46, 125, 114, 233, 19,
    205, 181, 49, 67, 159, 244, 107, 87, 96, 133, 41, 233, 183, 119, 68, 141, 25, 14, 254, 81, 163,
    96, 9, 41, 128, 160, 87, 197, 153, 31, 112, 45, 20, 18, 129, 9, 195, 58, 196, 171, 33, 88, 245,
    116, 215, 64, 128, 245, 164, 187, 28, 115, 48, 225, 8, 21, 103, 74, 217, 213, 8, 181, 66, 104,
    8, 106, 99, 210, 71, 3, 109, 177, 98, 107, 240, 214, 83, 49, 192, 176, 141, 128, 43, 61, 192,
    149, 192, 60, 24, 45, 38, 97, 44, 88, 238, 155, 73, 215, 132, 123, 83, 225, 132, 209, 19, 117,
    230, 58, 219, 95, 194, 187, 84, 8, 8, 48, 70, 142, 154, 175, 198, 187, 121, 119, 61, 94, 128,
    102, 210, 236, 142, 255, 178, 142, 184, 227, 114, 102, 140, 176, 129, 116, 4, 3, 142, 145, 225,
    22, 96, 53, 25, 219, 182, 60, 96, 195, 61, 250, 157, 159, 179, 41, 80, 72, 201, 118, 112, 73,
    108, 118, 164, 100, 196, 128, 227, 3, 84, 40, 2, 76, 9, 78, 197, 199, 88, 32, 207, 56, 136, 64,
    181, 221, 223, 13, 62, 174, 252, 135, 231, 56, 90, 64, 201, 19, 252, 39, 253, 61, 62, 51, 6,
    30, 115, 245, 52, 133, 152, 81, 253, 119, 12, 78, 160, 91, 220, 180, 127, 239, 94, 60, 251, 3,
    20, 92, 125, 207,
];

pub static SETTINGS: &[u8] = &[
    120, 156, 181, 87, 109, 111, 219, 54, 16, 254, 222, 95, 161, 105, 24, 208, 0, 54, 69, 242, 248,
    234, 196, 45, 80, 183, 43, 6, 180, 107, 129, 38, 27, 214, 47, 131, 103, 43, 137, 86, 71, 10,
    100, 229, 237, 223, 239, 161, 172, 147, 147, 181, 197, 218, 109, 77, 16, 72, 39, 30, 31, 222,
    61, 247, 240, 200, 28, 61, 189, 189, 216, 100, 215, 101, 187, 173, 154, 122, 158, 43, 33, 243,
    172, 172, 87, 205, 186, 170, 207, 230, 249, 201, 241, 143, 211, 144, 103, 219, 110, 89, 175,
    151, 155, 166, 46, 231, 121, 221, 228, 79, 159, 60, 58, 250, 238, 249, 155, 197, 241, 111, 111,
    95, 100, 219, 235, 179, 236, 237, 201, 179, 87, 63, 45, 178, 124, 90, 20, 191, 210, 162, 40,
    158, 31, 63, 207, 222, 253, 242, 50, 83, 66, 21, 197, 139, 159, 243, 44, 63, 239, 186, 203, 89,
    81, 220, 220, 220, 136, 27, 18, 77, 123, 86, 188, 108, 151, 151, 231, 213, 106, 91, 192, 177,
    72, 142, 152, 84, 0, 76, 41, 177, 238, 214, 57, 150, 72, 200, 55, 213, 186, 59, 71, 88, 82,
    254, 144, 103, 231, 101, 117, 118, 222, 177, 117, 93, 149, 55, 207, 154, 219, 121, 46, 51, 153,
    89, 217, 255, 229, 247, 51, 81, 121, 134, 220, 234, 237, 252, 19, 171, 107, 41, 101, 90, 109,
    112, 153, 221, 110, 170, 250, 195, 167, 28, 85, 140, 177, 232, 71, 123, 215, 217, 246, 114,
    185, 2, 11, 151, 109, 185, 45, 219, 235, 146, 231, 195, 168, 78, 31, 204, 239, 191, 136, 85,
    115, 81, 36, 254, 238, 54, 152, 116, 90, 109, 54, 211, 246, 106, 83, 206, 202, 235, 178, 110,
    214, 235, 195, 213, 166, 186, 124, 248, 101, 219, 181, 205, 135, 114, 138, 5, 203, 63, 155,
    170, 158, 181, 205, 85, 61, 126, 189, 168, 186, 178, 221, 84, 120, 204, 244, 33, 40, 202, 240,
    115, 116, 182, 123, 238, 222, 179, 174, 93, 214, 219, 211, 166, 189, 152, 231, 23, 203, 174,
    173, 110, 31, 43, 225, 156, 247, 102, 34, 241, 203, 239, 83, 173, 157, 136, 33, 224, 197, 146,
    240, 210, 30, 228, 123, 148, 30, 233, 114, 217, 157, 103, 235, 121, 254, 154, 148, 21, 198,
    251, 137, 178, 86, 72, 187, 208, 209, 9, 169, 45, 76, 16, 108, 85, 166, 189, 21, 49, 210, 222,
    182, 78, 88, 163, 70, 119, 107, 68, 80, 122, 162, 28, 80, 140, 201, 210, 114, 18, 235, 42, 76,
    11, 228, 97, 43, 65, 14, 232, 193, 9, 77, 122, 161, 13, 9, 19, 0, 31, 130, 176, 49, 211, 4, 55,
    103, 38, 42, 42, 225, 141, 203, 180, 14, 194, 233, 100, 91, 225, 44, 220, 181, 196, 42, 105,
    122, 20, 86, 193, 31, 234, 49, 9, 62, 144, 160, 0, 91, 106, 17, 21, 198, 189, 23, 218, 233, 69,
    90, 198, 72, 211, 195, 107, 224, 43, 175, 177, 108, 156, 36, 63, 163, 77, 166, 156, 18, 218,
    232, 137, 86, 65, 68, 242, 11, 229, 60, 194, 195, 184, 246, 194, 202, 0, 127, 132, 23, 97, 19,
    88, 240, 30, 118, 20, 142, 224, 111, 140, 112, 198, 44, 82, 90, 94, 187, 73, 74, 43, 4, 211,
    227, 35, 60, 44, 133, 233, 22, 166, 20, 26, 108, 232, 4, 27, 0, 143, 239, 1, 225, 105, 23, 133,
    74, 240, 38, 166, 48, 38, 26, 126, 129, 116, 166, 40, 10, 73, 48, 129, 226, 212, 66, 129, 13,
    5, 51, 106, 33, 21, 101, 131, 73, 10, 38, 184, 25, 156, 137, 64, 65, 4, 246, 128, 69, 68, 2,
    213, 206, 120, 45, 34, 35, 34, 10, 197, 177, 16, 82, 113, 30, 224, 187, 80, 9, 153, 88, 11,
    240, 33, 19, 178, 90, 40, 111, 198, 76, 9, 48, 70, 217, 5, 51, 129, 226, 65, 72, 128, 27, 152,
    34, 143, 250, 219, 145, 72, 10, 136, 81, 235, 5, 19, 109, 36, 36, 72, 128, 27, 10, 1, 40, 225,
    227, 190, 80, 6, 186, 244, 209, 45, 184, 144, 6, 5, 118, 14, 227, 67, 161, 141, 66, 120, 20,
    71, 33, 24, 25, 128, 3, 255, 65, 40, 6, 100, 128, 144, 140, 117, 148, 240, 77, 154, 63, 232,
    204, 40, 47, 130, 246, 11, 214, 161, 1, 142, 214, 73, 182, 59, 157, 26, 2, 174, 178, 163, 140,
    13, 88, 148, 50, 44, 88, 230, 6, 116, 68, 84, 138, 183, 1, 219, 188, 75, 216, 159, 176, 142,
    150, 110, 196, 163, 94, 80, 106, 92, 143, 82, 94, 86, 141, 241, 16, 190, 91, 162, 49, 222, 84,
    21, 101, 247, 249, 16, 242, 161, 104, 199, 124, 9, 249, 68, 167, 70, 62, 200, 73, 60, 71, 186,
    168, 23, 148, 30, 233, 76, 101, 112, 106, 79, 55, 197, 40, 188, 223, 151, 195, 40, 9, 219, 141,
    229, 66, 105, 160, 231, 177, 154, 20, 67, 218, 94, 99, 177, 9, 10, 164, 224, 70, 49, 16, 216,
    128, 42, 71, 177, 36, 120, 147, 166, 15, 98, 74, 203, 4, 233, 71, 173, 165, 172, 180, 84, 163,
    22, 141, 134, 246, 144, 29, 107, 213, 144, 238, 187, 19, 107, 217, 96, 94, 72, 246, 32, 117,
    182, 121, 39, 176, 63, 111, 20, 198, 227, 125, 196, 235, 241, 62, 227, 120, 120, 31, 114, 188,
    188, 79, 57, 31, 222, 198, 156, 47, 111, 115, 230, 131, 219, 0, 211, 197, 109, 130, 233, 228,
    54, 194, 116, 115, 155, 225, 114, 112, 27, 226, 114, 113, 155, 26, 170, 201, 93, 140, 139, 205,
    93, 142, 197, 192, 93, 144, 197, 194, 93, 146, 197, 52, 52, 81, 214, 26, 247, 88, 214, 34, 247,
    96, 214, 42, 247, 232, 135, 29, 255, 253, 107, 141, 121, 82, 166, 108, 19, 11, 17, 90, 53, 240,
    179, 108, 35, 188, 20, 6, 200, 36, 172, 102, 216, 36, 228, 42, 53, 188, 7, 211, 72, 8, 27, 212,
    14, 147, 201, 67, 121, 232, 255, 3, 246, 206, 68, 251, 7, 129, 56, 159, 120, 84, 185, 93, 83,
    25, 38, 143, 246, 128, 205, 54, 47, 205, 211, 57, 178, 191, 69, 254, 254, 193, 73, 60, 187,
    106, 55, 143, 191, 255, 253, 21, 78, 218, 101, 171, 14, 14, 243, 226, 222, 65, 90, 252, 211,
    169, 74, 104, 189, 32, 175, 63, 85, 249, 125, 106, 192, 44, 114, 27, 158, 31, 157, 169, 171,
    170, 93, 109, 202, 108, 133, 59, 11, 58, 111, 234, 39, 121, 182, 186, 187, 103, 180, 243, 156,
    60, 34, 246, 159, 15, 84, 127, 109, 160, 200, 220, 70, 21, 250, 64, 249, 29, 167, 62, 132, 24,
    226, 248, 242, 77, 66, 165, 207, 132, 186, 127, 89, 151, 167, 219, 123, 14, 155, 126, 26, 46,
    134, 235, 170, 172, 187, 172, 194, 245, 131, 203, 131, 123, 150, 194, 77, 47, 207, 238, 118,
    143, 91, 141, 27, 30, 44, 221, 91, 103, 195, 148, 147, 186, 234, 112, 221, 187, 194, 221, 235,
    93, 186, 167, 189, 169, 79, 182, 229, 126, 248, 248, 99, 114, 208, 174, 157, 67, 227, 48, 104,
    239, 38, 221, 139, 134, 23, 30, 72, 167, 166, 3, 81, 105, 103, 90, 21, 192, 211, 209, 182, 107,
    46, 179, 230, 244, 116, 91, 118, 253, 226, 67, 250, 233, 243, 116, 213, 108, 154, 118, 214,
    158, 253, 241, 88, 225, 100, 86, 233, 166, 66, 230, 224, 176, 31, 107, 16, 81, 213, 221, 205,
    20, 72, 121, 8, 162, 62, 7, 130, 3, 11, 106, 14, 242, 83, 8, 197, 67, 182, 190, 136, 70, 253,
    141, 104, 116, 233, 20, 113, 122, 130, 182, 229, 21, 246, 227, 148, 95, 120, 64, 133, 212, 112,
    211, 189, 12, 141, 216, 154, 47, 163, 241, 230, 28, 215, 221, 127, 205, 157, 198, 237, 98, 248,
    251, 191, 232, 163, 111, 69, 159, 193, 169, 169, 92, 162, 47, 48, 125, 253, 11, 15, 168, 32,
    177, 235, 98, 127, 32, 152, 175, 16, 33, 129, 113, 37, 211, 57, 240, 31, 52, 56, 113, 189, 146,
    191, 152, 196, 163, 98, 183, 173, 143, 210, 255, 87, 79, 30, 253, 5, 95, 60, 140, 25,
];

pub static TOOLS: &[u8] = &[
    120, 156, 109, 85, 219, 110, 219, 56, 16, 253, 21, 46, 139, 190, 145, 20, 47, 186, 144, 78,
    156, 96, 155, 180, 69, 129, 221, 109, 129, 38, 93, 108, 223, 28, 74, 177, 213, 50, 146, 33, 43,
    118, 250, 247, 59, 188, 200, 177, 133, 194, 128, 168, 161, 231, 204, 57, 103, 200, 177, 47,
    175, 95, 158, 28, 218, 55, 195, 174, 237, 187, 37, 22, 140, 99, 212, 116, 182, 175, 219, 110,
    189, 196, 247, 119, 31, 168, 198, 104, 55, 174, 186, 122, 229, 250, 174, 89, 226, 174, 199,
    215, 87, 151, 127, 220, 126, 190, 185, 251, 239, 203, 123, 180, 219, 175, 209, 151, 251, 119,
    127, 125, 186, 65, 152, 102, 217, 191, 234, 38, 203, 110, 239, 110, 209, 215, 111, 31, 145, 96,
    34, 203, 222, 255, 131, 17, 222, 140, 227, 118, 145, 101, 135, 195, 129, 29, 20, 235, 135, 117,
    246, 113, 88, 109, 55, 173, 221, 101, 144, 152, 249, 68, 0, 101, 80, 76, 8, 86, 143, 53, 190,
    186, 244, 133, 15, 109, 61, 110, 64, 20, 231, 111, 49, 218, 52, 237, 122, 51, 78, 209, 190,
    109, 14, 239, 250, 151, 37, 230, 136, 35, 81, 170, 60, 60, 240, 169, 19, 129, 17, 120, 235,
    118, 203, 223, 208, 75, 206, 185, 167, 75, 41, 139, 23, 215, 118, 63, 127, 151, 40, 140, 49,
    89, 248, 54, 164, 46, 118, 219, 149, 133, 46, 108, 135, 102, 215, 12, 251, 102, 194, 67, 208,
    62, 158, 225, 195, 14, 179, 253, 83, 230, 251, 247, 203, 1, 232, 177, 117, 142, 14, 207, 174,
    89, 52, 251, 166, 235, 235, 250, 194, 186, 118, 123, 190, 179, 27, 135, 254, 103, 67, 129, 176,
    249, 209, 183, 221, 98, 232, 159, 187, 227, 238, 83, 59, 54, 131, 107, 97, 89, 200, 11, 232,
    209, 208, 216, 17, 181, 245, 18, 255, 57, 140, 15, 253, 106, 168, 189, 101, 104, 9, 70, 191,
    194, 115, 234, 95, 169, 20, 83, 230, 164, 133, 211, 198, 137, 176, 69, 7, 199, 123, 129, 179,
    171, 203, 237, 106, 220, 32, 40, 250, 183, 224, 121, 193, 114, 34, 181, 98, 149, 150, 150, 114,
    66, 101, 206, 10, 37, 16, 21, 134, 25, 81, 17, 154, 231, 44, 207, 53, 138, 171, 153, 98, 71,
    85, 169, 153, 209, 132, 219, 132, 32, 60, 229, 104, 18, 161, 199, 48, 33, 56, 41, 128, 140, 87,
    202, 114, 146, 72, 18, 71, 162, 56, 79, 79, 245, 41, 183, 33, 89, 194, 27, 154, 52, 36, 130,
    185, 36, 80, 159, 40, 190, 159, 27, 127, 35, 203, 218, 84, 171, 115, 239, 26, 46, 162, 150,
    192, 103, 0, 34, 188, 42, 10, 59, 208, 55, 68, 13, 212, 203, 161, 21, 48, 43, 21, 248, 136,
    235, 20, 59, 90, 40, 195, 68, 238, 165, 37, 132, 215, 54, 101, 5, 236, 49, 154, 32, 156, 168,
    162, 98, 18, 104, 224, 53, 128, 36, 138, 44, 137, 228, 60, 255, 149, 225, 149, 96, 82, 225, 97,
    5, 154, 105, 2, 241, 137, 96, 110, 253, 225, 49, 231, 57, 159, 29, 187, 18, 21, 131, 190, 27,
    56, 118, 81, 90, 170, 24, 215, 208, 106, 41, 89, 25, 252, 230, 140, 243, 18, 42, 106, 86, 248,
    147, 47, 89, 169, 149, 39, 96, 185, 145, 142, 10, 109, 88, 165, 10, 34, 11, 166, 115, 97, 19,
    140, 132, 34, 40, 130, 72, 44, 129, 18, 134, 132, 18, 210, 149, 254, 59, 65, 10, 174, 88, 81,
    104, 27, 105, 3, 188, 68, 137, 52, 114, 38, 202, 128, 22, 110, 34, 164, 129, 209, 38, 190, 160,
    218, 160, 200, 23, 53, 87, 40, 241, 37, 205, 142, 38, 70, 26, 41, 171, 121, 115, 148, 122, 16,
    214, 134, 230, 172, 79, 251, 83, 72, 3, 211, 67, 52, 47, 25, 151, 218, 95, 13, 169, 152, 48,
    48, 21, 26, 238, 140, 159, 10, 9, 119, 198, 247, 38, 172, 83, 12, 189, 81, 185, 96, 170, 12,
    99, 225, 17, 113, 44, 98, 82, 192, 190, 98, 38, 8, 39, 21, 151, 12, 78, 207, 95, 141, 8, 66,
    137, 38, 177, 156, 3, 94, 41, 142, 12, 147, 138, 8, 67, 51, 81, 160, 62, 49, 204, 237, 55, 141,
    41, 212, 108, 44, 76, 5, 85, 11, 65, 224, 87, 145, 113, 37, 147, 119, 101, 202, 96, 222, 152,
    34, 212, 85, 32, 50, 173, 83, 236, 224, 34, 104, 38, 164, 78, 230, 1, 146, 204, 251, 164, 136,
    61, 134, 113, 73, 142, 149, 169, 80, 170, 29, 246, 37, 58, 205, 146, 110, 170, 75, 131, 101,
    95, 151, 242, 41, 37, 137, 66, 103, 90, 228, 220, 168, 45, 253, 39, 24, 205, 224, 160, 253,
    255, 194, 213, 255, 121, 100, 189, 48,
];

pub static TAB_BIN: &[u8] = &[
    120, 156, 181, 148, 107, 111, 155, 48, 20, 134, 255, 138, 231, 105, 223, 192, 87, 46, 134, 134,
    84, 106, 210, 85, 147, 118, 169, 180, 116, 211, 246, 45, 1, 147, 120, 117, 0, 1, 77, 210, 127,
    63, 227, 132, 44, 36, 221, 164, 73, 155, 16, 66, 62, 231, 248, 125, 31, 94, 100, 70, 215, 187,
    181, 6, 27, 89, 55, 170, 44, 18, 72, 17, 129, 64, 22, 105, 153, 169, 98, 153, 192, 135, 217,
    91, 87, 64, 208, 180, 243, 34, 155, 235, 178, 144, 9, 44, 74, 120, 61, 30, 189, 154, 126, 154,
    204, 190, 221, 223, 130, 102, 179, 4, 247, 15, 55, 239, 223, 77, 0, 116, 49, 254, 202, 39, 24,
    79, 103, 83, 240, 249, 203, 29, 160, 136, 98, 124, 251, 17, 2, 184, 106, 219, 42, 198, 120,
    187, 221, 162, 45, 71, 101, 189, 196, 119, 245, 188, 90, 169, 180, 193, 102, 16, 119, 131, 102,
    19, 54, 98, 148, 162, 172, 205, 224, 120, 212, 9, 111, 85, 214, 174, 12, 20, 33, 111, 32, 88,
    73, 181, 92, 181, 253, 106, 163, 228, 246, 166, 220, 37, 144, 0, 2, 124, 210, 221, 20, 158,
    190, 135, 89, 153, 55, 43, 154, 228, 5, 115, 70, 8, 233, 204, 14, 35, 241, 78, 171, 226, 241,
    165, 65, 26, 69, 17, 182, 93, 59, 26, 55, 213, 60, 53, 25, 84, 181, 108, 100, 189, 145, 253,
    126, 179, 80, 249, 96, 191, 173, 160, 180, 92, 227, 46, 189, 103, 109, 54, 229, 74, 107, 183,
    126, 210, 50, 150, 27, 89, 148, 89, 118, 149, 106, 85, 13, 43, 77, 91, 151, 143, 210, 53, 134,
    242, 71, 169, 138, 184, 46, 159, 138, 99, 117, 173, 90, 89, 107, 101, 30, 49, 187, 50, 9, 45,
    199, 163, 106, 222, 174, 64, 150, 192, 15, 196, 49, 25, 104, 207, 15, 17, 165, 220, 33, 136,
    80, 237, 49, 36, 68, 232, 184, 44, 64, 52, 212, 110, 223, 115, 109, 211, 61, 116, 109, 243,
    251, 128, 49, 126, 237, 243, 238, 186, 130, 216, 122, 212, 50, 109, 129, 9, 154, 51, 15, 69,
    129, 15, 193, 115, 2, 153, 199, 17, 243, 96, 255, 129, 132, 143, 194, 208, 255, 245, 137, 24,
    39, 40, 56, 19, 205, 34, 22, 176, 192, 138, 30, 169, 153, 96, 136, 132, 29, 69, 132, 188, 61,
    176, 216, 3, 7, 154, 56, 86, 229, 64, 42, 156, 190, 234, 218, 242, 57, 114, 150, 123, 11, 111,
    97, 213, 123, 222, 131, 248, 158, 183, 51, 248, 43, 220, 92, 132, 121, 152, 15, 113, 121, 16,
    34, 225, 179, 127, 139, 139, 151, 131, 148, 41, 231, 136, 135, 194, 82, 83, 226, 35, 70, 163,
    223, 114, 243, 64, 160, 128, 209, 51, 109, 198, 4, 103, 114, 72, 78, 195, 0, 177, 192, 119, 40,
    167, 70, 61, 186, 96, 63, 40, 93, 210, 31, 26, 231, 252, 44, 93, 112, 158, 14, 61, 34, 130,
    188, 232, 127, 56, 244, 209, 88, 131, 125, 48, 157, 137, 16, 127, 14, 134, 178, 51, 73, 225,
    231, 52, 98, 199, 208, 79, 206, 206, 30, 230, 244, 192, 116, 104, 94, 200, 145, 240, 6, 71,
    197, 18, 239, 235, 23, 192, 243, 238, 58, 170, 119, 191, 151, 241, 79, 216, 215, 123, 19,
];

pub static TAB_CORRELATION: &[u8] = &[
    120, 156, 173, 149, 93, 111, 155, 48, 24, 133, 255, 138, 231, 105, 119, 224, 79, 8, 129, 132,
    84, 107, 218, 85, 147, 246, 81, 105, 233, 166, 237, 142, 130, 147, 120, 37, 16, 1, 13, 233,
    191, 159, 33, 64, 227, 40, 95, 202, 122, 3, 177, 243, 190, 126, 125, 158, 115, 148, 12, 175,
    214, 139, 24, 172, 68, 150, 203, 52, 241, 33, 69, 4, 2, 145, 132, 105, 36, 147, 153, 15, 31,
    38, 159, 204, 62, 4, 121, 17, 36, 81, 16, 167, 137, 240, 97, 146, 194, 171, 209, 240, 221, 205,
    247, 241, 228, 247, 253, 45, 200, 87, 51, 112, 255, 112, 253, 229, 243, 24, 64, 19, 227, 95,
    124, 140, 241, 205, 228, 6, 252, 248, 121, 7, 40, 162, 24, 223, 126, 131, 0, 206, 139, 98, 233,
    97, 92, 150, 37, 42, 57, 74, 179, 25, 190, 203, 130, 229, 92, 134, 57, 86, 133, 184, 42, 84,
    77, 88, 29, 70, 41, 138, 138, 8, 142, 134, 213, 193, 165, 140, 138, 185, 186, 20, 33, 31, 32,
    152, 11, 57, 155, 23, 237, 106, 37, 69, 121, 157, 174, 125, 72, 0, 1, 148, 56, 118, 253, 128,
    219, 74, 40, 4, 74, 91, 146, 251, 123, 198, 51, 66, 72, 53, 174, 41, 241, 214, 177, 76, 158,
    246, 21, 82, 215, 117, 113, 253, 109, 93, 234, 229, 203, 32, 84, 20, 150, 153, 200, 69, 182,
    18, 109, 191, 90, 200, 169, 214, 95, 239, 160, 48, 93, 224, 138, 223, 75, 172, 154, 166, 50,
    142, 205, 236, 57, 22, 158, 88, 137, 36, 141, 162, 65, 24, 203, 165, 190, 147, 23, 89, 250, 36,
    76, 53, 80, 252, 77, 101, 226, 101, 233, 115, 210, 237, 46, 100, 33, 178, 88, 170, 151, 199, 6,
    138, 81, 38, 194, 2, 200, 200, 135, 31, 179, 226, 49, 13, 178, 168, 146, 172, 144, 64, 240, 82,
    63, 59, 126, 142, 133, 220, 222, 54, 194, 102, 99, 235, 98, 94, 162, 236, 29, 64, 60, 26, 206,
    70, 195, 101, 80, 204, 129, 58, 247, 43, 239, 219, 136, 59, 6, 165, 54, 178, 236, 94, 104, 18,
    195, 164, 14, 178, 56, 5, 38, 181, 16, 181, 153, 97, 114, 138, 236, 62, 3, 155, 55, 111, 215,
    177, 201, 108, 134, 122, 61, 106, 152, 36, 108, 122, 212, 199, 166, 140, 25, 117, 55, 237, 150,
    109, 19, 49, 154, 182, 106, 84, 51, 105, 83, 186, 41, 225, 96, 187, 129, 199, 91, 67, 94, 103,
    180, 55, 217, 220, 16, 104, 23, 227, 213, 140, 246, 110, 127, 116, 2, 239, 45, 242, 56, 181,
    166, 53, 132, 142, 128, 67, 84, 146, 220, 94, 135, 96, 151, 0, 221, 33, 192, 206, 35, 192, 117,
    2, 252, 52, 1, 166, 17, 224, 167, 9, 48, 157, 0, 235, 8, 28, 6, 16, 5, 162, 71, 3, 29, 64, 19,
    1, 117, 50, 98, 125, 126, 56, 2, 124, 39, 2, 252, 172, 8, 48, 61, 2, 124, 31, 0, 45, 1, 12,
    232, 145, 105, 103, 116, 242, 143, 251, 207, 142, 249, 31, 114, 174, 107, 167, 68, 29, 74, 152,
    225, 88, 14, 162, 196, 189, 72, 252, 171, 246, 29, 239, 153, 238, 125, 229, 75, 171, 252, 63,
    157, 127, 235, 236, 183, 222, 31, 202, 62, 223, 201, 254, 9, 235, 15, 233, 63, 104, 61, 211,
    172, 231, 167, 172, 63, 16, 124, 118, 36, 248, 251, 212, 183, 230, 191, 117, 242, 207, 182,
    255, 34, 241, 151, 228, 126, 202, 108, 65, 162, 90, 61, 86, 191, 254, 213, 31, 227, 232, 31,
    151, 181, 242, 103,
];

pub static TAB_HIST: &[u8] = &[
    120, 156, 141, 85, 109, 143, 218, 56, 16, 254, 222, 95, 225, 179, 116, 82, 87, 10, 142, 237,
    241, 91, 178, 208, 234, 202, 182, 85, 165, 222, 181, 82, 183, 87, 245, 99, 150, 100, 33, 183,
    33, 65, 78, 10, 236, 191, 239, 36, 16, 68, 22, 216, 91, 64, 73, 198, 153, 153, 199, 51, 207,
    227, 97, 252, 118, 187, 44, 200, 58, 243, 117, 94, 149, 19, 42, 24, 167, 36, 43, 103, 85, 154,
    151, 243, 9, 253, 126, 251, 97, 228, 40, 169, 155, 164, 76, 147, 162, 42, 179, 9, 45, 43, 250,
    246, 205, 171, 241, 31, 55, 95, 166, 183, 63, 191, 190, 39, 245, 122, 78, 190, 126, 127, 247,
    249, 211, 148, 208, 81, 24, 254, 128, 105, 24, 222, 220, 222, 144, 111, 255, 126, 36, 130, 137,
    48, 124, 255, 15, 37, 116, 209, 52, 171, 56, 12, 55, 155, 13, 219, 0, 171, 252, 60, 252, 232,
    147, 213, 34, 159, 213, 33, 58, 134, 173, 35, 6, 133, 152, 76, 8, 150, 54, 41, 69, 136, 54,
    243, 38, 79, 155, 5, 110, 139, 243, 63, 41, 89, 100, 249, 124, 209, 244, 214, 58, 207, 54, 239,
    170, 237, 132, 114, 194, 9, 8, 252, 209, 227, 58, 208, 194, 202, 202, 122, 114, 6, 91, 114,
    206, 91, 172, 189, 75, 188, 45, 242, 242, 225, 156, 163, 136, 162, 40, 236, 222, 118, 174, 113,
    189, 74, 102, 216, 131, 149, 207, 234, 204, 175, 179, 62, 30, 141, 252, 126, 16, 223, 173, 176,
    89, 181, 12, 219, 238, 61, 22, 24, 116, 159, 23, 197, 200, 255, 42, 178, 56, 91, 103, 101, 149,
    166, 215, 179, 34, 95, 13, 87, 234, 198, 87, 15, 217, 8, 1, 179, 89, 178, 138, 125, 245, 171,
    28, 44, 254, 87, 229, 229, 112, 117, 153, 55, 153, 47, 114, 188, 197, 130, 233, 107, 236, 27,
    193, 207, 120, 78, 26, 159, 148, 245, 125, 229, 151, 19, 186, 76, 26, 159, 111, 95, 115, 38,
    192, 57, 23, 5, 188, 253, 30, 25, 87, 251, 168, 139, 145, 162, 11, 17, 193, 200, 4, 35, 233,
    196, 177, 255, 51, 104, 74, 106, 235, 96, 143, 166, 181, 5, 165, 3, 100, 23, 172, 150, 129,
    228, 17, 190, 135, 167, 153, 158, 201, 102, 149, 21, 202, 238, 179, 25, 231, 20, 216, 0, 34,
    166, 141, 134, 64, 72, 212, 173, 58, 155, 173, 203, 232, 179, 89, 67, 80, 41, 192, 153, 20,
    134, 146, 71, 124, 84, 216, 46, 173, 104, 175, 176, 8, 27, 18, 169, 35, 141, 25, 201, 140, 128,
    1, 123, 177, 159, 223, 189, 214, 2, 225, 0, 11, 80, 87, 215, 52, 252, 63, 64, 103, 89, 36, 161,
    67, 148, 152, 81, 57, 123, 17, 81, 226, 142, 140, 59, 5, 148, 210, 6, 18, 92, 32, 229, 11, 0,
    165, 113, 152, 196, 118, 128, 90, 50, 7, 242, 34, 158, 210, 200, 5, 232, 83, 64, 133, 244, 8,
    8, 204, 75, 240, 132, 66, 30, 181, 236, 240, 68, 132, 5, 40, 119, 17, 16, 132, 100, 90, 156,
    171, 16, 80, 24, 192, 145, 206, 243, 136, 227, 112, 254, 98, 153, 24, 212, 5, 136, 94, 38, 59,
    195, 74, 22, 1, 183, 129, 176, 45, 255, 23, 85, 178, 74, 154, 5, 73, 39, 244, 111, 129, 164,
    137, 40, 80, 202, 50, 205, 221, 116, 104, 18, 33, 81, 117, 40, 97, 5, 128, 165, 91, 34, 12,
    138, 79, 6, 160, 81, 163, 78, 76, 37, 71, 225, 104, 19, 180, 116, 130, 139, 136, 68, 209, 25,
    161, 130, 29, 27, 4, 184, 64, 21, 184, 189, 57, 5, 220, 27, 24, 217, 191, 85, 156, 51, 144,
    135, 88, 133, 247, 8, 115, 245, 185, 149, 69, 72, 169, 14, 208, 218, 105, 198, 181, 61, 108,
    237, 137, 61, 236, 116, 137, 227, 123, 63, 53, 118, 93, 71, 158, 145, 102, 1, 87, 253, 44, 233,
    120, 139, 133, 97, 198, 174, 182, 253, 98, 154, 212, 139, 196, 251, 228, 49, 118, 128, 122, 9,
    160, 187, 98, 119, 95, 70, 213, 233, 194, 121, 222, 176, 9, 74, 186, 61, 111, 123, 67, 98, 83,
    28, 199, 242, 177, 103, 28, 229, 120, 110, 88, 28, 72, 211, 92, 49, 97, 108, 176, 191, 127, 62,
    103, 117, 215, 203, 93, 185, 43, 146, 217, 195, 176, 25, 202, 49, 25, 97, 51, 158, 214, 58, 40,
    107, 104, 204, 73, 142, 251, 249, 203, 55, 119, 85, 226, 83, 60, 26, 207, 205, 83, 6, 130, 163,
    250, 71, 173, 74, 34, 99, 78, 38, 107, 127, 206, 90, 199, 221, 20, 217, 57, 30, 14, 153, 68,
    117, 90, 30, 29, 141, 145, 126, 225, 164, 202, 227, 26, 14, 91, 238, 30, 198, 237, 159, 225,
    155, 87, 191, 1, 39, 79, 10, 139,
];

pub static TAB_INFO: &[u8] = &[
    120, 156, 117, 85, 219, 110, 27, 55, 16, 253, 21, 118, 139, 190, 237, 206, 146, 195, 187, 108,
    57, 64, 236, 52, 8, 208, 166, 1, 234, 180, 104, 223, 220, 213, 218, 218, 70, 222, 21, 36, 197,
    114, 251, 245, 57, 67, 75, 190, 180, 201, 131, 177, 26, 114, 56, 156, 115, 25, 250, 244, 213,
    253, 237, 74, 221, 245, 155, 237, 48, 141, 243, 202, 144, 174, 84, 63, 118, 211, 98, 24, 111,
    230, 213, 199, 203, 31, 155, 84, 169, 237, 238, 106, 92, 92, 173, 166, 177, 159, 87, 227, 84,
    189, 58, 59, 253, 238, 226, 151, 243, 203, 63, 62, 188, 81, 219, 187, 27, 245, 225, 227, 235,
    159, 222, 157, 171, 170, 105, 219, 223, 237, 121, 219, 94, 92, 94, 168, 95, 127, 123, 171, 12,
    153, 182, 125, 243, 190, 82, 213, 114, 183, 91, 207, 218, 118, 191, 223, 211, 222, 210, 180,
    185, 105, 223, 110, 174, 214, 203, 161, 219, 182, 72, 108, 37, 17, 135, 90, 20, 51, 134, 22,
    187, 69, 117, 118, 42, 133, 247, 195, 98, 183, 68, 83, 90, 255, 80, 169, 101, 63, 220, 44, 119,
    199, 232, 110, 232, 247, 175, 167, 251, 121, 165, 149, 86, 57, 91, 249, 171, 158, 227, 48, 149,
    2, 178, 113, 59, 255, 202, 229, 172, 181, 150, 203, 14, 41, 179, 251, 213, 48, 126, 250, 90,
    162, 201, 57, 183, 101, 183, 164, 206, 182, 235, 171, 14, 28, 172, 55, 253, 182, 223, 220, 245,
    199, 243, 8, 134, 235, 23, 231, 203, 10, 117, 211, 109, 43, 236, 253, 179, 194, 161, 235, 97,
    181, 106, 54, 159, 87, 253, 172, 191, 235, 199, 105, 177, 56, 233, 86, 195, 250, 229, 202, 118,
    183, 153, 62, 245, 13, 46, 236, 255, 158, 134, 113, 182, 153, 62, 143, 143, 171, 183, 195, 174,
    223, 172, 6, 124, 102, 124, 2, 134, 214, 87, 187, 165, 90, 204, 171, 159, 115, 102, 178, 38,
    212, 46, 7, 50, 177, 211, 117, 195, 209, 145, 118, 78, 53, 204, 76, 198, 166, 186, 41, 123, 1,
    43, 229, 135, 127, 92, 232, 30, 114, 57, 212, 250, 176, 23, 66, 93, 78, 241, 83, 124, 204, 213,
    117, 73, 214, 172, 74, 134, 123, 216, 112, 234, 69, 158, 235, 74, 146, 97, 84, 60, 94, 118,
    104, 67, 189, 184, 220, 253, 249, 130, 155, 217, 247, 236, 255, 138, 11, 123, 242, 68, 212, 56,
    141, 255, 246, 155, 233, 164, 106, 207, 78, 111, 158, 1, 14, 86, 147, 203, 169, 142, 38, 147,
    49, 128, 64, 49, 58, 84, 37, 45, 8, 19, 233, 28, 234, 198, 147, 55, 170, 49, 76, 30, 91, 150,
    156, 6, 86, 151, 5, 71, 205, 150, 208, 35, 54, 181, 163, 140, 216, 69, 74, 9, 161, 241, 148,
    193, 163, 215, 164, 109, 215, 104, 36, 161, 14, 62, 46, 40, 124, 34, 0, 227, 19, 50, 34, 67,
    156, 192, 170, 33, 23, 81, 22, 159, 132, 61, 6, 106, 80, 78, 172, 131, 52, 19, 108, 120, 140,
    146, 84, 44, 194, 80, 50, 138, 53, 229, 140, 211, 104, 206, 25, 21, 160, 94, 57, 238, 81, 199,
    166, 206, 162, 41, 205, 178, 29, 144, 204, 202, 38, 202, 34, 161, 113, 114, 44, 61, 139, 51,
    132, 75, 82, 22, 133, 172, 180, 229, 40, 186, 32, 116, 83, 138, 104, 210, 82, 180, 192, 14, 4,
    153, 59, 244, 224, 45, 174, 137, 104, 5, 96, 209, 131, 243, 82, 5, 136, 52, 184, 176, 94, 46,
    63, 198, 224, 20, 93, 152, 36, 174, 240, 40, 3, 178, 51, 9, 13, 41, 73, 177, 154, 209, 3, 163,
    166, 5, 177, 240, 142, 73, 148, 2, 118, 35, 88, 210, 78, 8, 76, 44, 124, 34, 68, 114, 70, 41,
    161, 201, 22, 43, 90, 185, 87, 137, 34, 112, 76, 162, 192, 169, 144, 155, 107, 97, 195, 135,
    142, 41, 72, 82, 178, 42, 82, 240, 181, 23, 166, 21, 158, 133, 28, 25, 203, 30, 128, 13, 132,
    22, 189, 61, 208, 58, 149, 28, 37, 45, 18, 3, 188, 73, 42, 123, 88, 66, 204, 128, 39, 32, 187,
    46, 145, 115, 44, 169, 232, 90, 65, 223, 232, 133, 129, 28, 147, 98, 67, 145, 249, 16, 117,
    224, 8, 167, 240, 152, 128, 72, 160, 134, 201, 19, 126, 123, 207, 242, 155, 177, 173, 163, 252,
    20, 150, 181, 56, 223, 28, 62, 130, 27, 10, 4, 120, 206, 21, 91, 192, 109, 224, 221, 234, 2,
    49, 98, 10, 112, 143, 211, 161, 107, 130, 248, 137, 107, 147, 5, 17, 216, 73, 153, 124, 172,
    45, 192, 100, 145, 238, 16, 6, 88, 48, 137, 166, 38, 150, 117, 47, 227, 86, 91, 22, 135, 41,
    228, 38, 177, 171, 37, 13, 162, 192, 174, 246, 181, 112, 156, 130, 130, 165, 3, 140, 6, 203,
    160, 3, 229, 138, 228, 135, 168, 67, 169, 152, 100, 28, 45, 52, 228, 98, 1, 7, 214, 131, 12,
    109, 49, 75, 212, 169, 99, 15, 207, 136, 235, 64, 35, 174, 66, 31, 86, 92, 28, 1, 37, 40, 3,
    183, 68, 232, 220, 100, 84, 176, 174, 131, 14, 41, 200, 84, 89, 140, 145, 35, 35, 246, 133, 5,
    60, 40, 134, 163, 139, 31, 49, 72, 255, 157, 239, 235, 235, 235, 111, 12, 247, 211, 100, 195,
    88, 30, 16, 13, 76, 103, 29, 60, 147, 81, 181, 152, 82, 11, 103, 44, 22, 193, 93, 16, 210, 8,
    223, 54, 30, 76, 92, 98, 12, 98, 18, 243, 192, 179, 50, 67, 190, 70, 243, 114, 202, 37, 178,
    190, 8, 145, 29, 60, 11, 121, 12, 134, 23, 64, 173, 152, 20, 55, 96, 204, 45, 148, 204, 79,
    161, 199, 220, 178, 8, 11, 10, 53, 156, 141, 114, 128, 207, 25, 5, 69, 5, 116, 104, 69, 175,
    14, 217, 206, 137, 6, 104, 22, 143, 34, 20, 70, 97, 188, 60, 176, 172, 13, 104, 129, 15, 145,
    104, 32, 79, 11, 52, 128, 121, 225, 48, 104, 16, 33, 175, 147, 199, 74, 102, 31, 61, 69, 238,
    100, 98, 61, 63, 224, 1, 237, 71, 214, 33, 191, 140, 215, 49, 68, 115, 144, 92, 60, 169, 31,
    114, 139, 219, 92, 185, 174, 1, 129, 198, 171, 34, 99, 57, 138, 48, 254, 239, 165, 253, 182,
    18, 45, 222, 89, 249, 215, 120, 246, 5, 102, 63, 231, 125,
];

pub static TAB_PPQQ: &[u8] = &[
    120, 156, 213, 86, 109, 79, 219, 48, 16, 254, 190, 95, 225, 89, 154, 4, 82, 226, 248, 53, 177,
    67, 11, 26, 133, 161, 73, 108, 67, 26, 108, 218, 199, 144, 132, 54, 35, 77, 42, 39, 180, 229,
    223, 239, 18, 210, 210, 140, 142, 77, 108, 147, 160, 85, 219, 59, 247, 124, 247, 60, 207, 93,
    156, 12, 14, 150, 211, 28, 205, 83, 91, 101, 101, 49, 196, 140, 80, 140, 210, 34, 46, 147, 172,
    24, 15, 241, 197, 249, 59, 87, 99, 84, 213, 81, 145, 68, 121, 89, 164, 67, 92, 148, 248, 96,
    255, 213, 224, 245, 209, 167, 209, 249, 183, 179, 99, 84, 205, 199, 232, 236, 226, 240, 244,
    253, 8, 97, 215, 243, 190, 138, 145, 231, 29, 157, 31, 161, 207, 95, 78, 16, 35, 204, 243, 142,
    63, 98, 132, 39, 117, 61, 11, 61, 111, 177, 88, 144, 133, 32, 165, 29, 123, 39, 54, 154, 77,
    178, 184, 242, 32, 208, 107, 2, 97, 147, 7, 201, 24, 35, 73, 157, 96, 40, 209, 100, 94, 100,
    73, 61, 1, 88, 148, 190, 193, 104, 146, 102, 227, 73, 189, 242, 230, 89, 186, 56, 44, 151, 67,
    76, 17, 69, 92, 202, 230, 131, 55, 153, 48, 140, 128, 91, 81, 13, 183, 84, 231, 148, 210, 166,
    90, 23, 18, 46, 243, 172, 184, 222, 22, 200, 140, 49, 94, 251, 111, 27, 26, 86, 179, 40, 6, 21,
    102, 54, 173, 82, 59, 79, 87, 251, 193, 201, 174, 122, 251, 219, 21, 18, 151, 83, 175, 209,
    239, 54, 135, 77, 87, 89, 158, 187, 246, 38, 79, 195, 116, 158, 22, 101, 146, 236, 197, 121,
    54, 235, 175, 84, 181, 45, 175, 83, 23, 10, 166, 113, 52, 11, 109, 121, 83, 244, 22, 191, 151,
    89, 209, 95, 157, 102, 117, 106, 243, 12, 126, 66, 70, 212, 30, 40, 135, 224, 53, 176, 105, 92,
    163, 44, 25, 226, 183, 182, 190, 44, 35, 155, 52, 114, 128, 88, 24, 221, 182, 223, 157, 178,
    173, 104, 43, 97, 91, 103, 3, 108, 88, 64, 203, 247, 176, 215, 165, 28, 247, 243, 65, 194, 150,
    100, 216, 175, 114, 23, 124, 183, 225, 222, 238, 18, 212, 54, 42, 170, 171, 210, 78, 135, 120,
    26, 213, 54, 91, 238, 80, 98, 24, 101, 92, 58, 180, 121, 175, 28, 151, 195, 36, 114, 233, 59,
    48, 14, 84, 7, 106, 23, 247, 83, 181, 233, 102, 81, 61, 65, 80, 251, 3, 15, 2, 194, 153, 112,
    184, 228, 167, 226, 161, 185, 133, 211, 157, 118, 225, 101, 30, 197, 215, 43, 33, 91, 69, 66,
    78, 103, 203, 53, 229, 117, 41, 239, 207, 168, 4, 198, 48, 159, 117, 84, 58, 199, 133, 73, 164,
    74, 5, 14, 80, 50, 1, 211, 143, 83, 217, 128, 191, 102, 245, 107, 252, 118, 124, 185, 35, 165,
    195, 36, 68, 41, 181, 251, 19, 19, 69, 168, 248, 11, 50, 190, 129, 14, 240, 142, 76, 231, 4,
    68, 41, 99, 160, 63, 62, 49, 84, 233, 223, 244, 69, 42, 16, 193, 97, 1, 35, 130, 143, 24, 51,
    208, 93, 1, 96, 21, 81, 84, 35, 230, 107, 194, 169, 113, 140, 36, 134, 75, 196, 52, 232, 4, 21,
    184, 38, 1, 85, 143, 83, 6, 174, 14, 19, 194, 17, 15, 40, 107, 98, 244, 147, 41, 187, 208, 51,
    159, 139, 134, 30, 37, 148, 6, 2, 112, 41, 103, 195, 188, 15, 224, 62, 39, 146, 3, 218, 166,
    162, 97, 207, 77, 6, 159, 240, 167, 119, 158, 67, 179, 165, 210, 109, 227, 87, 182, 107, 12,
    225, 192, 215, 21, 2, 136, 83, 127, 43, 225, 56, 179, 113, 158, 162, 24, 142, 153, 192, 39, 58,
    128, 59, 71, 12, 135, 13, 11, 56, 161, 12, 184, 216, 33, 22, 68, 4, 166, 207, 170, 97, 34, 52,
    40, 41, 28, 186, 251, 47, 33, 251, 130, 72, 195, 2, 192, 236, 43, 34, 131, 237, 77, 122, 102,
    152, 97, 40, 184, 22, 141, 206, 6, 0, 136, 23, 129, 25, 38, 130, 105, 13, 87, 135, 20, 48, 218,
    242, 37, 64, 94, 77, 51, 7, 48, 66, 111, 63, 146, 255, 59, 228, 181, 211, 26, 131, 230, 113,
    100, 255, 213, 15, 89, 216, 105, 194,
];

pub static TAB_TREND: &[u8] = &[
    120, 156, 149, 84, 219, 110, 155, 64, 16, 125, 239, 87, 108, 87, 170, 148, 72, 120, 239, 176,
    64, 76, 162, 230, 210, 168, 18, 109, 35, 53, 105, 213, 190, 17, 32, 246, 54, 24, 208, 66, 108,
    231, 239, 59, 16, 156, 152, 196, 174, 84, 64, 54, 51, 59, 115, 102, 206, 57, 150, 167, 39, 235,
    69, 129, 150, 185, 109, 76, 85, 70, 152, 19, 134, 81, 94, 166, 85, 102, 202, 89, 132, 111, 174,
    63, 77, 124, 140, 154, 54, 41, 179, 164, 168, 202, 60, 194, 101, 133, 79, 142, 223, 77, 223,
    159, 127, 59, 187, 254, 117, 117, 129, 154, 229, 12, 93, 221, 156, 198, 159, 207, 16, 158, 80,
    250, 83, 158, 81, 122, 126, 125, 142, 190, 255, 184, 68, 156, 112, 74, 47, 190, 98, 132, 231,
    109, 91, 135, 148, 174, 86, 43, 178, 146, 164, 178, 51, 122, 105, 147, 122, 110, 210, 134, 66,
    33, 237, 10, 161, 137, 2, 24, 231, 36, 107, 51, 12, 35, 58, 228, 149, 201, 218, 57, 172, 197,
    216, 7, 140, 230, 185, 153, 205, 219, 77, 180, 52, 249, 234, 180, 90, 71, 152, 33, 134, 164,
    130, 7, 111, 243, 224, 24, 1, 179, 178, 137, 118, 204, 22, 140, 177, 110, 214, 80, 18, 174, 11,
    83, 222, 239, 42, 228, 65, 16, 208, 254, 180, 47, 13, 155, 58, 73, 65, 131, 218, 230, 77, 110,
    151, 249, 166, 31, 2, 115, 55, 234, 239, 51, 36, 173, 22, 180, 83, 239, 177, 128, 166, 59, 83,
    20, 19, 251, 80, 228, 97, 190, 204, 203, 42, 203, 142, 210, 194, 212, 227, 76, 211, 218, 234,
    62, 159, 192, 192, 60, 77, 234, 208, 86, 15, 229, 40, 249, 167, 50, 229, 56, 187, 48, 109, 110,
    11, 3, 95, 33, 39, 238, 17, 232, 134, 224, 154, 206, 80, 107, 147, 178, 185, 171, 236, 34, 194,
    139, 164, 181, 102, 125, 192, 8, 151, 190, 239, 7, 14, 235, 238, 173, 224, 112, 232, 234, 59,
    109, 158, 182, 200, 100, 17, 254, 104, 219, 219, 42, 177, 89, 39, 36, 136, 140, 209, 99, 255,
    57, 56, 34, 148, 122, 49, 164, 15, 182, 104, 134, 37, 252, 84, 142, 48, 221, 130, 157, 141, 49,
    1, 180, 151, 40, 28, 79, 122, 105, 120, 106, 26, 199, 255, 96, 230, 107, 169, 60, 49, 48, 27,
    130, 9, 87, 196, 15, 124, 229, 240, 128, 48, 230, 241, 67, 252, 22, 174, 135, 172, 147, 118,
    142, 96, 143, 47, 66, 107, 34, 184, 116, 132, 18, 177, 124, 251, 186, 131, 227, 147, 11, 225,
    109, 145, 164, 247, 27, 75, 122, 133, 66, 193, 234, 245, 72, 130, 231, 113, 244, 63, 104, 185,
    154, 105, 185, 161, 245, 20, 76, 60, 162, 5, 247, 164, 195, 53, 81, 82, 239, 101, 181, 11, 209,
    39, 10, 148, 240, 157, 9, 235, 158, 77, 164, 137, 175, 132, 11, 200, 130, 17, 169, 84, 176, 15,
    242, 149, 88, 46, 233, 150, 144, 176, 4, 143, 37, 39, 154, 113, 135, 123, 68, 121, 58, 30, 142,
    2, 226, 50, 17, 111, 215, 253, 30, 75, 104, 103, 183, 7, 220, 117, 29, 223, 241, 15, 119, 106,
    245, 118, 42, 88, 234, 241, 142, 186, 244, 121, 172, 73, 192, 3, 7, 108, 150, 218, 139, 57, 35,
    158, 208, 142, 224, 68, 5, 34, 134, 121, 65, 32, 186, 51, 79, 235, 24, 234, 93, 32, 200, 125,
    226, 42, 55, 134, 18, 79, 1, 136, 32, 50, 128, 101, 21, 97, 29, 202, 176, 186, 7, 98, 168, 33,
    218, 111, 248, 104, 243, 177, 239, 132, 137, 61, 206, 239, 119, 255, 117, 114, 148, 120, 14,
    250, 151, 105, 247, 199, 117, 252, 238, 47, 132, 196, 126, 105,
];

pub static TAB_WAFER: &[u8] = &[
    120, 156, 237, 93, 219, 110, 28, 199, 17, 125, 207, 87, 116, 22, 8, 96, 3, 179, 189, 93, 85,
    125, 149, 173, 24, 240, 56, 49, 2, 108, 18, 3, 177, 19, 36, 111, 12, 69, 75, 140, 41, 82, 32,
    105, 73, 254, 251, 156, 211, 75, 42, 92, 74, 14, 5, 132, 102, 56, 64, 251, 2, 178, 216, 115,
    233, 170, 83, 247, 233, 233, 249, 252, 139, 183, 47, 79, 220, 235, 163, 243, 139, 227, 179,
    211, 167, 43, 241, 97, 229, 142, 78, 15, 207, 158, 29, 159, 62, 127, 186, 250, 238, 219, 223,
    175, 235, 202, 93, 92, 30, 156, 62, 59, 56, 57, 59, 61, 122, 186, 58, 61, 91, 125, 241, 219,
    95, 125, 254, 235, 175, 254, 60, 127, 251, 247, 111, 126, 231, 46, 94, 63, 119, 223, 124, 247,
    229, 246, 15, 179, 91, 173, 55, 155, 191, 217, 188, 217, 124, 245, 237, 87, 238, 47, 127, 253,
    218, 137, 151, 205, 230, 119, 127, 90, 185, 213, 139, 203, 203, 87, 79, 54, 155, 55, 111, 222,
    248, 55, 230, 207, 206, 159, 111, 190, 62, 63, 120, 245, 226, 248, 240, 98, 131, 3, 55, 60, 16,
    39, 109, 112, 49, 17, 255, 236, 242, 217, 10, 183, 224, 149, 223, 28, 63, 187, 124, 129, 105,
    133, 240, 155, 149, 123, 113, 116, 252, 252, 197, 229, 53, 245, 250, 248, 232, 205, 151, 103,
    111, 159, 174, 130, 11, 78, 178, 153, 147, 212, 226, 234, 38, 47, 178, 114, 224, 238, 244, 226,
    233, 7, 238, 175, 33, 4, 222, 239, 234, 144, 39, 111, 79, 142, 79, 127, 248, 208, 129, 210, 90,
    219, 244, 209, 126, 232, 147, 139, 87, 7, 135, 144, 195, 171, 243, 163, 139, 163, 243, 215, 71,
    215, 231, 131, 56, 254, 126, 239, 252, 254, 23, 127, 120, 246, 114, 67, 9, 254, 116, 130, 147,
    190, 63, 62, 57, 89, 159, 255, 120, 114, 244, 228, 232, 245, 209, 233, 217, 179, 103, 159, 29,
    158, 28, 191, 218, 255, 203, 197, 229, 249, 217, 15, 71, 107, 220, 240, 232, 240, 224, 213,
    147, 243, 179, 31, 79, 247, 254, 248, 175, 179, 227, 211, 253, 191, 190, 60, 190, 60, 58, 63,
    57, 198, 143, 39, 226, 211, 103, 144, 157, 195, 63, 159, 63, 119, 151, 231, 7, 167, 23, 223,
    159, 157, 191, 124, 186, 122, 121, 112, 121, 126, 252, 246, 147, 232, 37, 231, 92, 166, 128,
    127, 175, 127, 87, 31, 106, 44, 113, 202, 222, 196, 90, 254, 244, 234, 252, 221, 53, 254, 243,
    251, 207, 94, 51, 120, 137, 185, 170, 77, 235, 224, 131, 198, 98, 146, 166, 254, 91, 136, 98,
    19, 71, 181, 104, 158, 214, 49, 251, 28, 114, 155, 36, 100, 31, 77, 110, 222, 231, 221, 245,
    143, 78, 32, 143, 139, 35, 119, 8, 92, 37, 69, 243, 17, 24, 30, 254, 4, 162, 228, 236, 83, 90,
    185, 115, 142, 72, 172, 222, 50, 8, 140, 88, 84, 47, 165, 238, 201, 248, 201, 249, 243, 127,
    126, 34, 90, 167, 171, 255, 63, 253, 108, 181, 185, 197, 201, 230, 61, 214, 62, 48, 157, 15,
    177, 11, 19, 137, 33, 144, 197, 88, 180, 230, 74, 182, 179, 106, 191, 19, 38, 85, 45, 78, 107,
    43, 190, 8, 121, 206, 24, 203, 169, 125, 136, 215, 126, 131, 87, 7, 151, 47, 220, 179, 167,
    171, 63, 74, 20, 159, 167, 146, 189, 104, 156, 175, 8, 243, 150, 146, 19, 171, 62, 71, 155, 10,
    244, 57, 20, 144, 233, 234, 215, 173, 168, 248, 210, 218, 21, 57, 139, 84, 47, 169, 188, 59,
    80, 146, 23, 142, 94, 93, 230, 154, 236, 183, 216, 94, 147, 77, 125, 108, 58, 191, 35, 147,
    215, 236, 174, 175, 212, 138, 79, 161, 186, 235, 251, 236, 200, 45, 103, 176, 251, 117, 190,
    158, 219, 245, 129, 125, 222, 87, 215, 216, 253, 222, 47, 191, 189, 201, 221, 63, 222, 71, 74,
    163, 78, 37, 77, 98, 159, 94, 169, 244, 251, 248, 93, 169, 122, 247, 7, 79, 130, 47, 233, 213,
    219, 247, 48, 253, 32, 174, 255, 19, 142, 9, 54, 98, 152, 217, 90, 163, 79, 113, 160, 184, 72,
    20, 85, 125, 106, 9, 35, 162, 56, 202, 108, 192, 120, 39, 140, 188, 223, 163, 195, 17, 19, 46,
    161, 233, 180, 174, 209, 91, 40, 195, 28, 23, 138, 227, 90, 130, 215, 132, 159, 8, 226, 82, 37,
    15, 28, 23, 138, 163, 34, 161, 43, 181, 209, 177, 250, 144, 82, 29, 64, 46, 20, 72, 228, 217,
    18, 172, 78, 200, 114, 66, 9, 31, 204, 204, 7, 142, 11, 192, 49, 53, 159, 180, 214, 9, 85, 135,
    180, 81, 117, 44, 21, 71, 84, 186, 177, 52, 212, 211, 18, 105, 144, 105, 224, 248, 223, 113,
    180, 48, 117, 44, 31, 27, 142, 41, 32, 44, 198, 158, 240, 20, 223, 226, 176, 199, 133, 226,
    104, 134, 191, 180, 52, 173, 33, 211, 170, 31, 238, 92, 13, 28, 31, 63, 142, 82, 188, 134, 152,
    167, 181, 37, 159, 91, 25, 141, 128, 133, 226, 136, 251, 148, 150, 99, 229, 49, 90, 147, 142,
    78, 192, 66, 129, 92, 67, 44, 57, 38, 155, 140, 189, 253, 56, 12, 114, 169, 56, 154, 178, 112,
    212, 169, 168, 207, 53, 232, 192, 113, 161, 56, 198, 138, 249, 39, 153, 36, 84, 95, 195, 232,
    204, 45, 20, 199, 102, 190, 89, 97, 99, 206, 196, 143, 62, 192, 29, 48, 242, 138, 143, 18, 198,
    2, 190, 196, 166, 53, 88, 138, 57, 14, 107, 92, 40, 140, 25, 199, 212, 42, 189, 61, 103, 86,
    71, 155, 124, 161, 56, 198, 232, 115, 54, 224, 168, 230, 85, 70, 178, 186, 80, 24, 181, 122,
    181, 138, 137, 169, 111, 156, 197, 128, 113, 145, 48, 138, 248, 42, 102, 83, 108, 62, 88, 29,
    193, 113, 161, 48, 174, 225, 84, 69, 178, 77, 21, 226, 201, 113, 180, 114, 150, 138, 35, 56,
    15, 150, 243, 68, 17, 232, 40, 57, 22, 10, 163, 88, 241, 85, 133, 157, 57, 48, 101, 163, 147,
    115, 23, 142, 29, 198, 24, 30, 27, 140, 96, 220, 90, 6, 140, 210, 32, 211, 17, 29, 23, 10, 99,
    136, 190, 21, 174, 120, 68, 174, 90, 195, 8, 142, 203, 132, 177, 86, 159, 98, 222, 189, 1, 81,
    83, 28, 235, 57, 150, 9, 99, 81, 76, 88, 74, 95, 191, 138, 99, 202, 128, 113, 145, 48, 38, 62,
    252, 199, 136, 38, 132, 200, 50, 22, 115, 44, 19, 69, 107, 94, 139, 52, 54, 87, 147, 142, 122,
    99, 161, 40, 170, 250, 26, 115, 103, 60, 199, 225, 81, 23, 138, 98, 246, 81, 53, 176, 154, 53,
    95, 198, 114, 213, 133, 162, 200, 180, 38, 4, 109, 147, 228, 230, 135, 67, 93, 38, 136, 146,
    193, 10, 95, 117, 140, 234, 75, 28, 15, 55, 238, 70, 113, 183, 134, 227, 177, 193, 24, 43, 42,
    197, 68, 155, 204, 28, 27, 56, 46, 20, 199, 194, 77, 21, 224, 91, 91, 127, 145, 124, 244, 225,
    238, 196, 145, 143, 244, 30, 31, 142, 26, 152, 217, 176, 17, 135, 249, 167, 241, 10, 249, 93,
    56, 10, 223, 170, 122, 132, 56, 138, 97, 254, 54, 173, 11, 142, 105, 121, 212, 254, 75, 117,
    171, 169, 249, 202, 23, 143, 83, 245, 1, 82, 25, 56, 46, 211, 173, 74, 45, 222, 98, 153, 214,
    49, 249, 164, 163, 114, 92, 170, 91, 85, 137, 92, 46, 62, 173, 205, 112, 240, 120, 106, 124, 7,
    142, 42, 249, 113, 226, 40, 146, 61, 15, 89, 91, 244, 86, 194, 72, 115, 22, 26, 31, 91, 243,
    169, 6, 120, 125, 220, 15, 255, 12, 24, 151, 9, 99, 53, 200, 33, 197, 137, 107, 114, 170, 140,
    167, 255, 11, 133, 49, 103, 95, 44, 196, 169, 68, 56, 215, 50, 130, 227, 66, 97, 76, 193, 91,
    72, 9, 65, 50, 120, 25, 45, 128, 165, 194, 136, 20, 181, 50, 87, 149, 152, 189, 142, 119, 227,
    150, 10, 163, 20, 31, 19, 55, 239, 169, 234, 173, 142, 20, 103, 169, 48, 114, 139, 223, 188,
    91, 62, 94, 199, 91, 28, 139, 109, 228, 104, 241, 193, 26, 224, 244, 106, 109, 244, 227, 150,
    10, 35, 82, 155, 44, 187, 84, 39, 167, 97, 141, 11, 133, 145, 15, 27, 107, 155, 106, 6, 23, 50,
    66, 227, 66, 81, 44, 197, 151, 28, 5, 51, 80, 24, 229, 88, 27, 183, 80, 24, 51, 126, 177, 198,
    157, 38, 171, 47, 99, 139, 163, 165, 194, 40, 37, 248, 166, 58, 173, 155, 143, 65, 198, 178,
    241, 165, 62, 170, 146, 20, 49, 255, 50, 105, 246, 69, 227, 128, 113, 169, 48, 130, 191, 80,
    116, 202, 92, 64, 222, 70, 23, 103, 169, 48, 130, 115, 110, 228, 216, 170, 111, 37, 141, 28,
    103, 169, 48, 6, 240, 162, 12, 221, 16, 207, 216, 254, 111, 169, 48, 86, 100, 168, 173, 96,
    114, 144, 169, 234, 176, 198, 133, 194, 40, 240, 166, 86, 101, 50, 31, 170, 142, 175, 114, 44,
    118, 49, 78, 21, 223, 82, 238, 111, 58, 134, 58, 158, 254, 47, 21, 198, 156, 124, 50, 153, 74,
    242, 102, 113, 196, 198, 165, 194, 24, 251, 70, 42, 147, 136, 248, 177, 21, 231, 98, 81, 52,
    110, 80, 45, 64, 19, 12, 142, 199, 141, 75, 133, 81, 67, 243, 81, 210, 148, 48, 253, 54, 18,
    213, 187, 96, 236, 27, 141, 225, 191, 246, 200, 96, 20, 204, 31, 140, 215, 226, 171, 140, 37,
    28, 255, 119, 20, 223, 201, 89, 81, 8, 42, 174, 153, 2, 156, 100, 153, 181, 69, 159, 154, 78,
    252, 186, 88, 84, 167, 173, 249, 150, 109, 202, 176, 65, 139, 206, 66, 244, 138, 209, 202, 143,
    29, 149, 217, 130, 250, 154, 19, 73, 109, 9, 163, 0, 27, 73, 44, 72, 1, 195, 253, 220, 136,
    100, 8, 231, 86, 219, 66, 47, 60, 52, 130, 226, 7, 162, 90, 33, 8, 237, 32, 38, 169, 78, 113,
    78, 137, 121, 202, 133, 239, 20, 184, 62, 10, 53, 202, 56, 54, 165, 237, 254, 28, 239, 163, 60,
    147, 159, 19, 214, 59, 185, 0, 52, 110, 57, 98, 17, 146, 149, 153, 84, 65, 149, 149, 124, 11,
    230, 64, 165, 212, 184, 84, 55, 212, 78, 65, 245, 1, 188, 134, 184, 173, 17, 18, 41, 252, 40,
    91, 14, 50, 115, 81, 111, 76, 83, 142, 168, 209, 154, 43, 208, 141, 194, 21, 162, 33, 23, 87,
    34, 215, 249, 246, 161, 24, 183, 248, 99, 227, 73, 69, 210, 140, 228, 177, 229, 76, 102, 91,
    51, 87, 147, 207, 220, 143, 88, 61, 132, 239, 246, 102, 117, 15, 159, 229, 189, 91, 14, 208,
    65, 206, 23, 204, 98, 246, 9, 202, 30, 49, 113, 5, 141, 84, 183, 53, 153, 185, 180, 46, 69, 76,
    41, 43, 4, 160, 78, 224, 167, 131, 70, 208, 0, 75, 163, 99, 15, 190, 138, 237, 198, 35, 108,
    52, 115, 131, 44, 5, 93, 161, 22, 109, 238, 27, 16, 176, 242, 193, 79, 68, 108, 199, 126, 68,
    40, 160, 11, 180, 40, 181, 78, 87, 24, 152, 21, 238, 114, 135, 195, 33, 150, 10, 10, 230, 41,
    226, 152, 169, 181, 78, 195, 224, 50, 125, 195, 222, 108, 31, 70, 85, 4, 40, 231, 54, 81, 223,
    53, 81, 34, 252, 4, 113, 39, 131, 152, 19, 24, 121, 216, 145, 2, 109, 17, 76, 84, 59, 85, 53,
    111, 77, 32, 20, 8, 47, 80, 41, 234, 12, 253, 226, 167, 25, 45, 20, 248, 23, 103, 153, 250, 48,
    153, 64, 114, 224, 13, 160, 67, 33, 64, 226, 216, 4, 123, 194, 221, 12, 164, 86, 95, 84, 102,
    238, 174, 130, 73, 152, 52, 95, 114, 230, 109, 34, 229, 130, 224, 89, 11, 80, 216, 155, 226,
    125, 124, 222, 224, 35, 196, 194, 82, 118, 82, 232, 113, 77, 121, 198, 244, 48, 121, 82, 150,
    212, 65, 127, 179, 116, 42, 154, 184, 12, 77, 200, 160, 112, 134, 228, 173, 194, 155, 128, 109,
    77, 92, 245, 87, 103, 126, 167, 50, 32, 13, 72, 148, 159, 211, 212, 115, 58, 133, 103, 200,
    112, 226, 106, 80, 30, 240, 5, 191, 17, 163, 193, 19, 195, 76, 113, 165, 10, 174, 17, 53, 192,
    180, 82, 242, 184, 110, 129, 102, 41, 204, 21, 167, 210, 5, 83, 81, 49, 47, 165, 72, 40, 26,
    153, 9, 0, 112, 41, 244, 119, 197, 233, 110, 12, 58, 94, 34, 116, 240, 38, 39, 247, 241, 113,
    193, 143, 18, 30, 50, 31, 4, 14, 105, 91, 50, 78, 170, 130, 41, 132, 24, 196, 209, 50, 41, 166,
    159, 16, 211, 98, 111, 169, 67, 94, 240, 155, 137, 44, 54, 114, 140, 112, 85, 13, 42, 130, 217,
    227, 68, 196, 26, 53, 0, 160, 187, 135, 173, 0, 0, 28, 193, 37, 131, 128, 127, 173, 217, 209,
    173, 66, 48, 177, 75, 122, 94, 19, 34, 220, 1, 186, 25, 173, 56, 144, 2, 119, 196, 107, 198,
    232, 110, 204, 235, 97, 220, 15, 247, 68, 144, 210, 13, 28, 80, 204, 164, 11, 221, 11, 104,
    128, 235, 72, 55, 68, 21, 67, 44, 77, 129, 52, 254, 94, 83, 119, 16, 112, 213, 8, 235, 133, 9,
    8, 60, 183, 97, 60, 207, 220, 35, 51, 52, 120, 114, 56, 142, 34, 12, 229, 70, 199, 1, 186, 66,
    130, 142, 107, 219, 140, 111, 97, 112, 56, 91, 143, 211, 240, 241, 56, 189, 191, 44, 53, 119,
    239, 87, 112, 59, 40, 103, 81, 202, 255, 150, 247, 219, 247, 142, 219, 91, 254, 8, 224, 33,
    145, 48, 122, 55, 92, 159, 57, 72, 225, 186, 228, 78, 198, 82, 221, 45, 110, 239, 227, 153,
    249, 221, 34, 222, 119, 36, 219, 125, 55, 51, 223, 114, 66, 144, 7, 227, 143, 244, 72, 236, 34,
    183, 172, 172, 125, 208, 100, 203, 69, 15, 129, 20, 60, 124, 210, 57, 51, 213, 1, 171, 180,
    103, 240, 138, 72, 39, 5, 146, 133, 61, 211, 166, 56, 154, 164, 223, 53, 89, 221, 38, 94, 158,
    48, 193, 189, 91, 156, 225, 10, 90, 195, 193, 248, 153, 160, 131, 204, 253, 121, 112, 162, 9,
    103, 146, 122, 69, 166, 146, 103, 168, 116, 35, 6, 145, 155, 189, 169, 131, 19, 77, 60, 23,
    225, 57, 227, 190, 251, 236, 221, 199, 254, 188, 31, 161, 181, 192, 175, 101, 221, 5, 53, 106,
    45, 241, 20, 204, 24, 126, 170, 48, 21, 5, 93, 11, 213, 4, 193, 161, 144, 174, 252, 152, 43,
    104, 10, 39, 111, 133, 221, 121, 42, 41, 228, 202, 211, 91, 255, 150, 61, 88, 194, 97, 240,
    237, 200, 209, 90, 192, 217, 192, 166, 50, 164, 180, 202, 93, 238, 250, 112, 14, 72, 151, 132,
    185, 21, 117, 58, 118, 143, 193, 55, 54, 133, 242, 162, 128, 16, 98, 233, 45, 34, 195, 12, 148,
    183, 1, 69, 101, 136, 130, 137, 211, 6, 82, 197, 241, 129, 203, 230, 119, 74, 46, 116, 50, 141,
    249, 189, 245, 217, 33, 74, 185, 91, 220, 221, 71, 49, 249, 17, 90, 202, 156, 155, 121, 3, 152,
    74, 200, 61, 73, 231, 74, 212, 13, 238, 28, 48, 131, 110, 97, 39, 51, 85, 210, 16, 2, 69, 78,
    141, 69, 98, 166, 166, 59, 181, 144, 174, 165, 179, 242, 181, 71, 76, 211, 32, 156, 38, 13,
    145, 132, 15, 68, 112, 188, 48, 63, 21, 71, 71, 153, 234, 110, 56, 227, 116, 230, 158, 89, 118,
    202, 221, 224, 77, 113, 217, 136, 40, 79, 181, 50, 97, 32, 146, 157, 225, 51, 41, 132, 35, 185,
    53, 221, 251, 200, 241, 63, 70, 237, 48, 153, 198, 111, 230, 229, 180, 21, 126, 159, 171, 183,
    65, 48, 65, 120, 30, 174, 105, 129, 163, 132, 199, 129, 151, 65, 86, 146, 233, 221, 39, 74,
    163, 194, 239, 193, 28, 25, 72, 48, 26, 50, 220, 22, 52, 1, 66, 153, 24, 35, 5, 250, 199, 14,
    10, 114, 24, 190, 12, 83, 114, 119, 122, 6, 31, 11, 244, 225, 194, 168, 84, 138, 90, 134, 39,
    204, 146, 24, 203, 101, 130, 194, 53, 40, 14, 195, 114, 238, 175, 38, 70, 115, 55, 103, 247,
    64, 25, 8, 188, 111, 108, 157, 13, 164, 146, 51, 73, 70, 39, 97, 110, 222, 83, 197, 84, 187,
    124, 196, 164, 87, 149, 13, 54, 198, 236, 141, 142, 159, 238, 130, 54, 147, 153, 96, 204, 125,
    205, 51, 102, 17, 89, 166, 48, 106, 40, 191, 97, 199, 172, 60, 50, 8, 81, 138, 8, 34, 28, 101,
    204, 9, 76, 227, 104, 79, 224, 30, 249, 96, 32, 2, 253, 195, 162, 20, 30, 106, 166, 160, 244,
    71, 222, 20, 183, 13, 220, 65, 29, 122, 196, 109, 70, 17, 157, 16, 141, 74, 227, 86, 121, 48,
    88, 220, 6, 210, 20, 240, 142, 120, 27, 221, 62, 55, 15, 147, 134, 48, 10, 212, 218, 159, 245,
    162, 252, 152, 77, 122, 249, 222, 91, 106, 181, 136, 35, 157, 161, 245, 204, 202, 81, 246, 59,
    30, 174, 176, 18, 225, 235, 111, 109, 107, 72, 89, 144, 81, 245, 245, 84, 148, 4, 203, 199, 8,
    27, 99, 13, 80, 12, 135, 179, 126, 164, 13, 192, 177, 104, 222, 149, 151, 9, 130, 227, 229, 98,
    73, 91, 26, 95, 225, 237, 250, 2, 16, 164, 199, 20, 4, 57, 233, 168, 240, 118, 169, 199, 31,
    210, 65, 213, 237, 207, 246, 97, 108, 142, 169, 59, 63, 20, 131, 234, 22, 82, 193, 20, 89, 166,
    52, 190, 149, 11, 207, 227, 200, 1, 92, 238, 212, 129, 69, 53, 211, 5, 148, 140, 119, 66, 248,
    211, 217, 186, 186, 245, 59, 179, 10, 114, 140, 164, 165, 83, 8, 15, 142, 97, 182, 81, 99, 65,
    135, 198, 148, 31, 233, 66, 220, 109, 187, 95, 81, 105, 48, 119, 141, 4, 92, 89, 113, 35, 57,
    134, 163, 46, 148, 55, 228, 146, 19, 156, 80, 99, 210, 163, 189, 143, 141, 58, 29, 120, 64, 7,
    97, 184, 72, 143, 35, 171, 13, 136, 27, 49, 132, 143, 130, 3, 130, 172, 65, 109, 17, 21, 192,
    72, 131, 131, 216, 231, 235, 97, 124, 252, 77, 15, 49, 11, 102, 105, 136, 98, 200, 63, 35, 253,
    113, 8, 204, 176, 72, 10, 67, 22, 20, 46, 194, 120, 61, 75, 11, 238, 209, 11, 95, 166, 189,
    192, 234, 153, 49, 210, 1, 168, 86, 216, 81, 200, 62, 166, 30, 36, 182, 188, 72, 232, 101, 8,
    6, 97, 110, 124, 120, 138, 243, 224, 8, 26, 172, 13, 210, 170, 12, 163, 194, 84, 196, 49, 232,
    34, 155, 236, 163, 145, 238, 20, 78, 15, 186, 134, 124, 17, 98, 156, 233, 93, 19, 194, 15, 144,
    64, 238, 236, 110, 123, 215, 61, 223, 187, 189, 195, 243, 253, 2, 9, 136, 194, 189, 107, 104,
    125, 229, 155, 233, 172, 176, 199, 196, 44, 25, 248, 75, 118, 90, 165, 119, 41, 216, 132, 50,
    118, 91, 110, 182, 87, 182, 251, 205, 151, 249, 118, 107, 6, 114, 80, 228, 38, 185, 167, 83,
    32, 181, 151, 18, 108, 96, 180, 138, 48, 73, 183, 105, 189, 149, 65, 100, 18, 163, 103, 98, 55,
    41, 24, 244, 49, 177, 222, 40, 83, 138, 221, 24, 112, 117, 84, 200, 188, 109, 193, 93, 51, 27,
    110, 198, 47, 246, 88, 137, 51, 73, 110, 163, 13, 191, 91, 80, 187, 145, 100, 137, 82, 184,
    244, 196, 237, 115, 247, 48, 89, 50, 125, 89, 97, 89, 79, 75, 70, 37, 208, 107, 116, 149, 29,
    141, 252, 161, 219, 139, 230, 78, 67, 65, 186, 53, 49, 188, 48, 25, 67, 45, 185, 165, 109, 214,
    196, 118, 118, 230, 211, 136, 153, 66, 15, 100, 48, 176, 99, 4, 217, 84, 6, 85, 232, 23, 84,
    148, 205, 34, 142, 195, 110, 39, 105, 153, 225, 10, 231, 3, 164, 22, 187, 107, 85, 186, 98,
    170, 50, 77, 144, 190, 85, 178, 123, 223, 183, 238, 249, 222, 237, 190, 107, 158, 175, 210,
    158, 190, 43, 75, 232, 174, 6, 56, 198, 212, 111, 175, 187, 179, 111, 112, 251, 48, 174, 244,
    86, 142, 181, 221, 79, 193, 230, 247, 50, 52, 164, 90, 194, 206, 18, 231, 202, 154, 221, 88,
    245, 194, 126, 251, 70, 250, 208, 69, 126, 45, 8, 44, 82, 159, 83, 133, 17, 80, 209, 34, 149,
    136, 215, 177, 174, 126, 116, 98, 202, 82, 146, 86, 65, 45, 101, 167, 161, 240, 58, 56, 31,
    170, 93, 250, 55, 164, 160, 166, 72, 24, 203, 117, 115, 129, 221, 63, 0, 6, 65, 102, 246, 30,
    216, 215, 132, 251, 84, 62, 244, 77, 16, 25, 37, 74, 221, 103, 174, 95, 217, 126, 168, 172, 60,
    251, 229, 99, 238, 29, 153, 144, 160, 209, 251, 204, 62, 140, 132, 111, 180, 25, 183, 123, 13,
    200, 121, 175, 55, 9, 139, 71, 45, 48, 21, 58, 82, 233, 109, 75, 248, 225, 194, 96, 177, 101,
    215, 14, 243, 106, 172, 194, 203, 204, 183, 221, 49, 73, 232, 76, 66, 42, 216, 59, 124, 204,
    18, 149, 150, 236, 18, 67, 92, 238, 163, 177, 108, 145, 7, 227, 12, 190, 174, 2, 87, 51, 199,
    93, 32, 130, 199, 45, 16, 101, 164, 175, 86, 82, 1, 73, 5, 40, 62, 124, 109, 184, 26, 34, 36,
    64, 68, 218, 196, 158, 50, 14, 225, 53, 3, 92, 6, 102, 166, 136, 150, 55, 216, 121, 144, 102,
    4, 4, 193, 143, 222, 208, 23, 33, 4, 32, 153, 220, 61, 241, 47, 48, 87, 198, 35, 184, 113, 166,
    213, 129, 1, 64, 122, 125, 215, 179, 108, 122, 69, 152, 48, 151, 90, 65, 161, 20, 138, 136,
    192, 6, 219, 162, 37, 198, 136, 172, 135, 13, 79, 224, 92, 234, 174, 16, 193, 104, 234, 175,
    186, 22, 62, 210, 64, 146, 13, 96, 216, 114, 65, 21, 51, 179, 173, 215, 173, 180, 178, 157,
    230, 246, 122, 65, 123, 109, 162, 237, 141, 70, 205, 172, 189, 227, 202, 39, 48, 40, 83, 92,
    186, 242, 27, 141, 25, 173, 219, 227, 233, 23, 146, 226, 222, 35, 136, 119, 68, 255, 229, 243,
    205, 197, 107, 252, 248, 55, 205, 29, 117, 136,
];
